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

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

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 Sun May 26 02:41:10 2013 CET by the DBLP Team —

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