Non-Termination Analysis of Java Bytecode.

Étienne Payet Fred Mesnard Fausto Spoto

Published in: CoRR (2014)

Keyphrases

termination analysis
java bytecode
active rules
active databases
virtual machine
programming language
garbage collection
efficient execution
java virtual machine
intermediate representation
memory management
integrity constraints
object oriented databases
xml documents
object oriented
general purpose