Login / Signup
Modular Termination Analysis of Java Bytecode and Its Application to phoneME Core Libraries.
Diana V. Ramírez-Deantes
Jesús Correas
Germán Puebla
Published in:
FACS (2010)
Keyphrases
</>
termination analysis
active rules
active databases
java bytecode
integrity constraints
general purpose
information systems
high level
database systems
programming language
deductive databases
intermediate representation
garbage collection