Completeness of a Bytecode Verifier and a Certifying Java-to-JVM Compiler.

Robert F. Stärk Joachim Schmid Completeness of a Bytecode Verifier and a Certifying Java-to-JVM Compiler. 323-361 2003 30 J. Autom. Reasoning 3-4 http://dx.doi.org/10.1023/A:1025003423108 db/journals/jar/jar30.html#StarkS03