Enforcing Java Run-Time Properties Using Bytecode Rewriting.

Algis Rudys Dan S. Wallach

Published in: ISSS (2002)

Keyphrases

source code
java virtual machine
programming language
structural properties
desirable properties
java bytecode
object oriented
global consistency
java card
java programs
neural network
information systems
web applications
virtual machine
programs written
byte code