A Certified Implementation on Top of the Java Virtual Machine.

Javier de Dios Ricardo Peña-Marí

Published in: FMICS (2009)

Keyphrases

java virtual machine
program execution
virtual machine
java language
memory management
byte code
java programs
garbage collection
efficient implementation
database
information systems