A Provably Correct Stackless Intermediate Representation for Java Bytecode.

Delphine Demange, Thomas P. Jensen, David Pichardie

Browse the full APLAS paper archive.