Sign in

Abstract non-interference in a fragment of Java bytecode.

Damiano Zanardini
Published in: SAC (2006)
Keyphrases
  • java bytecode
  • programming language
  • garbage collection
  • information systems
  • java virtual machine
  • efficient execution