Login / Signup

Completeness of a Bytecode Verifier and a Certifying Java-to-JVM Compiler.

Robert F. StärkJoachim Schmid
Published in: J. Autom. Reason. (2003)
Keyphrases
  • java virtual machine
  • java bytecode
  • program execution
  • virtual machine
  • byte code
  • java programs
  • memory management
  • garbage collection
  • type checking
  • data quality
  • java card
  • programming language
  • hardware implementation