Jim Huggins / huggins@acm.org
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/jvm.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT
| Citation: | Egon Börger and Wolfram Schulte, "Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation." In L. Brim, J. Gruska, J. Zlatuska, editors, Mathematical Foundations of Computer Science 1998, 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 1998, Springer Lecture Notes in Computer Science 1450, 1998. |
|---|---|
| Summary: | A definition of the Java Virtual Machine, along with a provably correct compilation scheme for Java programs to the JVM. |
| Subjects: | Java |
| Download: | PostScript, PDF, Compressed PostScript |
| Notes: | Streamlined, corrected, and completed in Jbook. |
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/jvm.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT