Login / Signup
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