Predicate Abstraction and CEGAR for Disproving Termination of Higher-Order Functional Programs.
Takuya KuwaharaRyosuke SatoHiroshi UnnoNaoki KobayashiPublished in: CAV (2) (2015)
Keyphrases
- functional programs
- higher order
- term rewriting systems
- lazy evaluation
- logic programs
- functional language
- stochastic grammar
- pairwise
- high level
- logic programming
- first order logic
- functional programming
- active rules
- horn clauses
- active databases
- artificial intelligence
- programming language
- similarity measure
- knowledge base