Algebraic Compilation of Safety-Critical Java Bytecode.

James Baxter, Ana Cavalcanti

Browse the full IFM paper archive.