A Formal Framework for the Java Bytecode Language and Verifier.

Stephen N. Freund John C. Mitchell

Published in: OOPSLA (1999)

Keyphrases

java bytecode
programming language
databases
information systems
general purpose
high level
database systems
data streams