Correctness of Procedure Representations in Higher-Order Assembly Language.

Mitchell Wand

Browse the full MFPS paper archive.