Correctness of Static Flow Analysis in Continuation Semantics

Margaret Montenyohl, Mitchell Wand. Correctness of Static Flow Analysis in Continuation Semantics. Science of Computer Programming, 16(1):1-18, 1991.

Abstract

Abstract is missing.