I begin with a denotational semantics for CPS Scheme. I then present an alternate semantics that precisely expresses the controlflow 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.
Similar concerns motivate the optimization of exception handling code in a number of languages.
The semantics of scheme control-flow analysis. The graph only includes citing articles where the year of publication is known.