Java (ASM Dynamic Semantics)

Citation: Egon Börger and Wolfram Schulte, "A Programmer Friendly Modular Definition of the Semantics of Java". In J. Alves-Foss, ed., "Formal Syntax and Semantics of Java", Springer LNCS 1523, 1998.
Summary: A modular specification of the dynamic semantics of Java using ASMs.
Subjects: Java, Refinement
Download: PostScript, PDF, Compressed PostScript
Notes: Streamlined, corrected, and completed in Jbook. See also the Montage semantics.