A Formal Framework for the Java Bytecode Language and Verifier.

Stephen N. Freund, John C. Mitchell

Browse the full OOPSLA paper archive.