Sign in
A Type System for the Java Bytecode Language and Verifier.
Stephen N. Freund
John C. Mitchell
Published in:
J. Autom. Reason. (2003)
Keyphrases
</>
java bytecode
programming language
virtual machine
type checking
efficient execution
garbage collection
java virtual machine
object oriented
first order logic