Equality-based flow analysis versus recursive types

@article{Palsberg1998EqualitybasedFA,
  title={Equality-based flow analysis versus recursive types},
  author={Jens Palsberg},
  journal={ACM Trans. Program. Lang. Syst.},
  year={1998},
  volume={20},
  pages={1251-1264}
}
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

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…