A Formal Basis for a Program Compilation Proof Tool.

Luke Wildman

Browse the full FM paper archive.