Termination Graphs for Java Bytecode.

Marc Brockschmidt Carsten Otto Christian von Essen Jürgen Giesl

Published in: Verification, Induction, Termination Analysis (2010)

Keyphrases

java bytecode
programming language
virtual machine
databases
database
expressive power
java virtual machine
efficient execution