[an error occurred while processing this directive]
[an error occurred while processing this directive]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. |