Proving the correctness for compiling Java programs to Java VM code (1997)

by E Borger, Wolfram Schulte
Venue:In Proceedings of IFIP Working Group 2.2 Meeting