Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation

Egon Börger, Wolfram Schulte. Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation. In Lubos Brim, Jozef Gruska, Jirí Zlatuska, editors, Mathematical Foundations of Computer Science 1998, 23rd International Symposium, MFCS 98, Brno, Czech Republic, August 24-28, 1998, Proceedings. Volume 1450 of Lecture Notes in Computer Science, pages 17-35, Springer, 1998. [doi]

Abstract

Abstract is missing.