A machine-checked model for a Java-like language, virtual machine, and compiler.

Gerwin Klein Tobias Nipkow

Published in: ACM Trans. Program. Lang. Syst. (2006)

Keyphrases

virtual machine
programming language
probabilistic model
specification language
source code
databases
e learning
general purpose
operating system
software systems
java bytecode