Linking the Meaning of Programs to What the Compiler Can Verify.

Published in: VSTTE (2005)

Keyphrases

programming language
java bytecode
highly optimized
programs written
data sets
general purpose
software systems
computer programs
distributed memory machines
database
real time
databases
artificial intelligence
database systems
open source
programming environment