Login / Signup
Verified Java Bytecode Verification.
Gerwin Klein
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