JVM Bytecode Verification Without Dataflow Analysis

Ian Bayley, Sam Shiel. JVM Bytecode Verification Without Dataflow Analysis. Electronic Notes in Theoretical Computer Science, 141(1):203-220, 2005. [doi]

Abstract

Abstract is missing.