Sign in

Proving non-termination by program reversal.

Krishnendu ChatterjeeEhsan Kafshdar GoharshadyPetr NovotnýDorde Zikelic
Published in: PLDI (2021)
Keyphrases
  • term rewrite systems
  • neural network
  • programming environment
  • artificial intelligence
  • search algorithm
  • digital libraries
  • special case
  • open source
  • static analysis