Login / Signup

Preservation of Proof Obligations from Java to the Java Virtual Machine.

Gilles BartheBenjamin GrégoireMariela Pavlova
Published in: IJCAR (2008)
Keyphrases
  • java virtual machine
  • program execution
  • byte code
  • java programs
  • java language
  • virtual machine
  • memory management
  • garbage collection
  • java bytecode
  • type checking
  • operating system
  • data center