Login / Signup
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