A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
We characterize the impact of a linear β-reduction on the result of a control-flow analysis. (By 'a linear β-reduction' we mean the β-reduction of a linear λ-abstraction, i.e., of a λabstraction whose parameter occurs exactly once in its body.) As a corollary, we consider the administrative reductions of a Plotkin-style transformation into Continuation-Passing Style (CPS), and how they affect the result of a constraint-based control-flow analysis and, in particular, the least element in thedoi:10.1017/s0956796803004702 fatcat:pvbphomkcvazxk4j3gft3bo7xu