Equality-based flow analysis versus recursive types

  title={Equality-based flow analysis versus recursive types},
  author={Jens Palsberg},
  journal={ACM Trans. Program. Lang. Syst.},
Equality-based control-flow analysis has been studied by Henglein, Bondorf and Jørgensen, DeFouw, Grove, and Chambers, and others. It is faster than the subset-based-0-CFA, but also more approximate. Heintze asserted in 1995 that a program can be safety checked with an equality-based control-flow analysis if and only if it can be typed with recursive types. In this article we falsify Heintze's assertion, and we present a type system equivalent to equality-based control-flow analysis. The new… CONTINUE READING
Highly Cited
This paper has 19 citations. REVIEW CITATIONS


Publications referenced by this paper.

Similar Papers

Loading similar papers…