Improving the official specification of Java bytecode verification.

Alessandro Coglio

Published in: Concurr. Comput. Pract. Exp. (2003)

Keyphrases

java bytecode
virtual machine
programming language
garbage collection
efficient execution
java virtual machine
information systems
high level
general purpose
model checking
user defined
memory management