Login / Signup

Java Bytecode Verification: An Overview.

Xavier Leroy
Published in: CAV (2001)
Keyphrases
  • java bytecode
  • virtual machine
  • programming language
  • efficient execution
  • garbage collection
  • intermediate representation
  • java virtual machine
  • memory management
  • operating system
  • databases
  • information systems