Towards a Provably-Correct Implementation of the JVM (1998)

by al
Venue:Bytecode Verifier, OOPSLA '98 Workshop on the Formal Underpinnings of Java