Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation.

Egon Börger Wolfram Schulte

Published in: MFCS (1998)

Keyphrases

java virtual machine
provably correct
program execution
byte code
virtual machine
java programs
java language
formal methods
garbage collection
situation calculus
memory management
java bytecode
database
operating system
information systems
web applications