Abstract is missing.
- Formal Grammar for JavaJim Alves-Foss, Deborah A. Frincke. 1-40 [doi]
- Describing the Semantics of Java and Proving Type SoundnessSophia Drossopoulou, Susan Eisenbach. 41-82 [doi]
- Proving Java Type SoundnessDon Syme. 83-118 [doi]
- Machine-Checking the Java Specification: Proving Type-SafetyDavid von Oheimb, Tobias Nipkow. 119-156 [doi]
- An Event-Based Structural Operational Semantics of Multi-Threaded JavaPietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing. 157-200 [doi]
- Dynamic Denotational Semantics of JavaJim Alves-Foss, Fong Shing Lam. 201-240 [doi]
- A Programmer s Reduction Semantics for Classes and MixinsMatthew Flatt, Shriram Krishnamurthi, Matthias Felleisen. 241-269 [doi]
- A Formal Specification of Java Virtual Machine Instructions for Objects, Methods and SubrountinesZhenyu Qian. 271-312 [doi]
- The Operational Semantics of a Java Secure ProcessorPieter H. Hartel, Michael J. Butler, Moshe Levy. 313-352 [doi]
- A Programmer Friendly Modular Definition of the Semantics of JavaEgon Börger, Wolfram Schulte. 353-404 [doi]