Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Reuse via Structuring


Citation: Egon Börger, "Design for Reuse via Structuring Techniques for ASMs". In Roberto Moreno-Diaz, Bruno Buchberger, and Jose-Luis Freire, eds., Computer Aided Systems Theory -- EUROCAST 2001, Springer LNCS 2178, 2001, 20-35.
Summary: An application of ASM structuring techniques to the definition of the architecture of the Java Virtual Machine in the Jbook.
Subjects: ASM Extensions, Java.
Download: From Egon Börger's homepage in PDF.
Notes: