| 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. |
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/javabosc.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT