Sign in

A Type System for the Java Bytecode Language and Verifier.

Stephen N. FreundJohn 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