A Term Rewriting Approach to the Automated Termination Analysis of Imperative Programs.

Stephan Falke Deepak Kapur

Published in: CADE (2009)

Keyphrases

term rewriting
termination analysis
imperative programs
active rules
active databases
theorem prover
theorem proving
knuth bendix
abstract interpretation
operational semantics
database systems
databases
dynamic logic
first order logic
management system
artificial intelligence
machine learning