Java Virtual Machine

Citation: Egon Börger and Wolfram Schulte, "Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation." In L. Brim, J. Gruska, J. Zlatuska, editors, Mathematical Foundations of Computer Science 1998, 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 1998, Springer Lecture Notes in Computer Science 1450, 1998.
Summary: A definition of the Java Virtual Machine, along with a provably correct compilation scheme for Java programs to the JVM.
Subjects: Java
Download: PostScript, PDF, Compressed PostScript
Notes: Streamlined, corrected, and completed in Jbook.