Login / Signup

HipTNT+: A Termination and Non-termination Analyzer by Second-Order Abduction - (Competition Contribution).

Ton Chanh LeQuang-Trung TaWei-Ngan Chin
Published in: TACAS (2) (2017)
Keyphrases
  • rewrite systems
  • multiscale
  • higher order
  • term rewriting
  • active rules
  • real time
  • information retrieval
  • decision making
  • image segmentation
  • data structure