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

Egon Brger, Wolfram Schulte

Browse the full MFCS paper archive.