Conferences in DBLP

Java Grande (java)
1999 (conf/java/1999formal)

1. 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]
   
2. 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]
   
3. Don Syme
   Proving Java Type Soundness. [Citation Graph (0, 0)][DBLP]
   Formal Syntax and Semantics of Java, 1999, pp:83-118 [Conf]
   
4. 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]
   
5. 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]
   
6. 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]
   
7. 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]
   
8. 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]
   
9. 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]
   
10. 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]