Verified Java Bytecode Verification.

Published in: Ausgezeichnete Informatikdissertationen (2003)

Keyphrases

intermediate representation
programming language
garbage collection
multi dimensional
data center
java virtual machine
database
efficient execution
virtual machine
operating system
program execution
memory management
java bytecode