A Provably Correct Stackless Intermediate Representation for Java Bytecode.

Delphine Demange Thomas P. Jensen David Pichardie

Published in: APLAS (2010)

Keyphrases

intermediate representation
provably correct
java bytecode
formal methods
intermediate level
situation calculus
tightly coupled
artificial intelligence
information systems
visual features