A Programmer Friendly Modular Definition of the Semantics of Java (1997)
Cached
Download Links
- [bigfoot.eecs.umich.edu]
- [wwwat.mimuw.edu.pl]
- [research.microsoft.com]
- DBLP
Other Repositories/Bibliography
| Venue: | Formal Syntax and Semantics of Java, LNCS |
| Citations: | 60 - 3 self |
BibTeX
@INPROCEEDINGS{Börger97aprogrammer,
author = {Egon Börger and Wolfram Schulte},
title = {A Programmer Friendly Modular Definition of the Semantics of Java},
booktitle = {Formal Syntax and Semantics of Java, LNCS},
year = {1997},
pages = {353--404},
publisher = {Springer}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
. We propose in this paper a definition of the semantics of Java programs which can be used as a basis for the standardization of the language and of its implementation on the Java Virtual Machine. The definition provides a machine and system independent view of the language as it is seen by the Java programmer. It takes care to directly reflect the description in the Java language reference manual so that the basic design decisions can be checked by standardizers and implementors against a mathematical model. Our definition is the basis for a related definition we give in a sequel to this paper for the implementation of Java on the Java Virtual Machine as described in the language and in the Virtual Machine reference manuals. 1 Introduction In this chapter we formalize the semantics of Java by a system independent, purely mathematical yet easily manageable model, which reflects directly the intuitions and design decisions underlying the language as described in Java's language refer...
Citations
No citations identified.
