Login / Signup

Verified Java Bytecode Verification (Verified Java Bytecode Verification).

Gerwin Klein
Published in: it Inf. Technol. (2005)
Keyphrases
  • java bytecode
  • virtual machine
  • programming language
  • garbage collection
  • java virtual machine
  • efficient execution
  • intermediate representation
  • program execution
  • query optimization
  • memory management