Login / Signup
Modeling the Java Bytecode Verifier.
Mark C. Reynolds
Published in:
Sci. Comput. Program. (2013)
Keyphrases
</>
virtual machine
java bytecode
database
efficient execution