Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Modular JVM Architecture


Citation: Egon Börger and Wolfram Schulte, "Modular Design for the Java Virtual Machine Architecture". In Egon Börger, ed., Architecture Design and Validation Methods, Springer-Verlag, 2000, 297-357.
Summary: Provides a modular definition of the Java VM architecture, at different layers of abstraction.
Subjects: Java
Download: Available from Egon Börger's FTP site in PostScript.
Notes: Streamlined, corrected, and completed in Jbook.