CPS transformation of flow information, Part II: administrative reductions

@article{Damian2003CPSTO,
  title={CPS transformation of flow information, Part II: administrative reductions},
  author={Daniel Damian and Olivier Danvy},
  journal={J. Funct. Program.},
  year={2003},
  volume={13},
  pages={925-933}
}
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 Plotkinstyle 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 the space… CONTINUE READING

Similar Papers

Loading similar papers…