Towards an Algebraic Specification of the Java Virtual Machine.

Karen Stephenson

Published in: Prospects for Hardware Foundations (1998)

Keyphrases

java virtual machine
program execution
virtual machine
byte code
garbage collection
java language
java programs
memory management
high level
type checking
database
building blocks