Completeness of a Bytecode Verifier and a Certifying Java-to-JVM (2003)

by Robert F Stark, Joachim Schmid
Venue:Compiler. Journal of Automated Reasoning