Automated Termination Analysis of Java Bytecode by Term Rewriting.

Carsten Otto Marc Brockschmidt Christian von Essen Jürgen Giesl

Published in: RTA (2010)

Keyphrases

term rewriting
termination analysis
theorem proving
active rules
active databases
java bytecode
theorem prover
operational semantics
virtual machine
garbage collection
databases
general purpose