Defining the Java Virtual Machine as platform for provably correct Java compilation

Publisher Website

1 January 1998

book chapter
Published by Springer Nature

p. 17-35
https://doi.org/10.1007/bfb0055755

Abstract

No abstract available

Keywords

This publication has 1 reference indexed in Scilit:

A Programmer Friendly Modular Definition of the Semantics of Java
Published by Springer Nature ,1999