Formal Syntax and Semantics of Java, 1999

Jim Alves-Foss (Ed.): Formal Syntax and Semantics of Java. Lecture Notes in Computer Science 1523 Springer 1999, ISBN 3-540-66158-1

@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

Type Soundness

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

Semantic Approaches

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

Last update Fri May 25 08:24:45 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page