Formal Syntax and Semantics of Java, 1999

@proceedings{DBLP:conf/java/1999formal,
  editor    = {Jim Alves-Foss},
  title     = {Formal Syntax and Semantics of Java},
  booktitle = {Formal Syntax and Semantics of Java},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1523},
  year      = {1999},
  isbn      = {3-540-66158-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Jim Alves-Foss, Deborah A. Frincke:
  Formal Grammar for Java. 1-40
  Electronic Edition (Springer LINK) BibTeX

Type Soundness

• Sophia Drossopoulou, Susan Eisenbach:
  Describing the Semantics of Java and Proving Type Soundness. 41-82
  Electronic Edition (Springer LINK) BibTeX
• Don Syme:
  Proving Java Type Soundness. 83-118
  Electronic Edition (Springer LINK) BibTeX
• David von Oheimb, Tobias Nipkow:
  Machine-Checking the Java Specification: Proving Type-Safety. 119-156
  Electronic Edition (Springer LINK) BibTeX

Semantic Approaches

• Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing:
  An Event-Based Structural Operational Semantics of Multi-Threaded Java. 157-200
  Electronic Edition (Springer LINK) BibTeX
• Jim Alves-Foss, Fong Shing Lam:
  Dynamic Denotational Semantics of Java. 201-240
  Electronic Edition (Springer LINK) BibTeX
• Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen:
  A Programmer's Reduction Semantics for Classes and Mixins. 241-269
  Electronic Edition (Springer LINK) BibTeX
• Zhenyu Qian:
  A Formal Specification of Java Virtual Machine Instructions for Objects, Methods and Subrountines. 271-312
  Electronic Edition (Springer LINK) BibTeX
• Pieter H. Hartel, Michael J. Butler, Moshe Levy:
  The Operational Semantics of a Java Secure Processor. 313-352
  Electronic Edition (Springer LINK) BibTeX
• Egon Börger, Wolfram Schulte:
  A Programmer Friendly Modular Definition of the Semantics of Java. 353-404
  Electronic Edition (Springer LINK) BibTeX