Java bytecode as a typed term calculus.

Tomoyuki Higuchi Atsushi Ohori

Published in: PPDP (2002)

Keyphrases

java bytecode
virtual machine
programming language
efficient execution
information systems
database systems
software engineering
intermediate representation