A Compositional Logic for Control Flow.

Gang Tan, Andrew W. Appel

Browse the full VMCAI paper archive.