Treffer: A Programmer Friendly Modular Definition of the Semantics of Java.

Title:
A Programmer Friendly Modular Definition of the Semantics of Java.
Authors:
Egon Börger, Wolfram Schulte
Source:
Formal Syntax and Semantics of Java. :353-404
Availability:
https://dblp.org/rec/conf/java/BorgerS99
Database:
dblp computer science bibliography