Formal Syntax and Semantics of Java

Keyphrases

Publications

1999

Egon Börger, Wolfram Schulte
A Programmer Friendly Modular Definition of the Semantics of Java. Formal Syntax and Semantics of Java (1999)
David von Oheimb, Tobias Nipkow
Machine-Checking the Java Specification: Proving Type-Safety. Formal Syntax and Semantics of Java (1999)
Don Syme
Proving Java Type Soundness. Formal Syntax and Semantics of Java (1999)
Jim Alves-Foss, Deborah A. Frincke
Formal Grammar for Java. Formal Syntax and Semantics of Java (1999)
Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing
An Event-Based Structural Operational Semantics of Multi-Threaded Java. Formal Syntax and Semantics of Java (1999)
Sophia Drossopoulou, Susan Eisenbach
Describing the Semantics of Java and Proving Type Soundness. Formal Syntax and Semantics of Java (1999)
Zhenyu Qian
A Formal Specification of Java Virtual Machine Instructions for Objects, Methods and Subrountines. Formal Syntax and Semantics of Java (1999)
Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen
A Programmer's Reduction Semantics for Classes and Mixins. Formal Syntax and Semantics of Java (1999)
Pieter H. Hartel, Michael J. Butler, Moshe Levy
The Operational Semantics of a Java Secure Processor. Formal Syntax and Semantics of Java (1999)
Jim Alves-Foss, Fong Shing Lam
Dynamic Denotational Semantics of Java. Formal Syntax and Semantics of Java (1999)

volume 1523, 1999

Formal Syntax and Semantics of Java Formal Syntax and Semantics of Java 1523 (1999)