A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is
BRICS Report Series
We characterize the impact of a linear beta-reduction on the result of a control-flow analysis. (By "a linear beta-reduction" we mean the beta-reduction of a linear lambda-abstraction, i.e., of a lambda-abstraction whose parameter occurs exactly once in its body.)<br /> <br /> 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 indoi:10.7146/brics.v8i40.21700 fatcat:bj36dbp3xfbatmfy3qhic2zu3m