The Semantics of Scheme Control-Flow Analysis

This is a follow-on to my 1988PLDIpaper, “Control-Flow Analysis e”[9]. Iusethe methodofabstractsemanticinterpretations 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 controlalysis 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.”

• Type: Conference
• Year: 1991
• Where: PEPM
• Authors: Olin Shivers
• Keywords: Analysis Technique, Control-flow Analysis, PEPM 1991, Semantics, Software Engineering