Program analysis for safety guarantees in a Java virtual machine written in Java.

Jan-Willem Maessen Vivek Sarkar David Grove

Published in: PASTE (2001)

Keyphrases

java virtual machine
program execution
byte code
virtual machine
java programs
java language
garbage collection
memory management
databases
operating system
java bytecode
information systems
data model