Control-Flow Analysis and Type Systems

  title={Control-Flow Analysis and Type Systems},
  author={Nevin Heintze},
We establish a series of equivalences between type systems and control-flow analyses. Specifically, we take four type systems from the literature (involving simple types, subtypes and recursion) and conservatively enrich them to reason about control-flow information. Similarly, we take four standard control-flow systems and conservatively enrich them to reason about type consistency. Our main result is that for each type system, there is a control-flow system with equivalent reasoning power. In… CONTINUE READING
Highly Cited
This paper has 70 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.
Showing 1-10 of 44 extracted citations

70 Citations

Citations per Year
Semantic Scholar estimates that this publication has 70 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.

Similar Papers

Loading similar papers…