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