Integrated Java Bytecode Verification.

Andreas Gal Christian W. Probst Michael Franz

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

java bytecode
virtual machine
programming language
efficient execution
garbage collection
database
databases
operating system
java virtual machine
data center
intermediate representation