Conferences in DBLP
Jim Alves-Foss , Deborah A. Frincke Formal Grammar for Java. [Citation Graph (0, 0)][DBLP ] Formal Syntax and Semantics of Java, 1999, pp:1-40 [Conf ] Sophia Drossopoulou , Susan Eisenbach Describing the Semantics of Java and Proving Type Soundness. [Citation Graph (0, 0)][DBLP ] Formal Syntax and Semantics of Java, 1999, pp:41-82 [Conf ] Don Syme Proving Java Type Soundness. [Citation Graph (0, 0)][DBLP ] Formal Syntax and Semantics of Java, 1999, pp:83-118 [Conf ] David von Oheimb , Tobias Nipkow Machine-Checking the Java Specification: Proving Type-Safety. [Citation Graph (0, 0)][DBLP ] Formal Syntax and Semantics of Java, 1999, pp:119-156 [Conf ] Pietro Cenciarelli , Alexander Knapp , Bernhard Reus , Martin Wirsing An Event-Based Structural Operational Semantics of Multi-Threaded Java. [Citation Graph (0, 0)][DBLP ] Formal Syntax and Semantics of Java, 1999, pp:157-200 [Conf ] Jim Alves-Foss , Fong Shing Lam Dynamic Denotational Semantics of Java. [Citation Graph (0, 0)][DBLP ] Formal Syntax and Semantics of Java, 1999, pp:201-240 [Conf ] Matthew Flatt , Shriram Krishnamurthi , Matthias Felleisen A Programmer's Reduction Semantics for Classes and Mixins. [Citation Graph (0, 0)][DBLP ] Formal Syntax and Semantics of Java, 1999, pp:241-269 [Conf ] Zhenyu Qian A Formal Specification of Java Virtual Machine Instructions for Objects, Methods and Subrountines. [Citation Graph (0, 0)][DBLP ] Formal Syntax and Semantics of Java, 1999, pp:271-312 [Conf ] Pieter H. Hartel , Michael J. Butler , Moshe Levy The Operational Semantics of a Java Secure Processor. [Citation Graph (0, 0)][DBLP ] Formal Syntax and Semantics of Java, 1999, pp:313-352 [Conf ] Egon Börger , Wolfram Schulte A Programmer Friendly Modular Definition of the Semantics of Java. [Citation Graph (0, 0)][DBLP ] Formal Syntax and Semantics of Java, 1999, pp:353-404 [Conf ]