The semantics of scheme control-flow analysis

Abstract: "This is a follow-up to my 1988 PLDI paper, 'Control-Flow Analysis in Scheme' [9]. I use the method of abstract semantic interpretations to explicate the control-flow analysis technique presented in that paper. I begin with a denotational semantics for CPS Scheme. I then present an alternate semantics that precisely expresses the control-flow analysis problem. I abstract this semantics in a natural way, arriving at two different semantic interpretations giving approximate solutions to the flow analysis problem, each computable at compile time.The development of the final abstract semantics provides a clear, formal description of the analysis technique presented in 'Control- Flow Analysis in Scheme.'"