Control-Flow Analysis and Type Systems
CARNEGIE-MELLON UNIV PITTSBURGH PA SCHOOL OF COMPUTER SCIENCE
Pagination or Media Count:
We establish a series of equivalencies 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 essence, type systems and control-flow analysis can be viewed as complementary approaches for addressing questions of type consistency and control-flow.
- Computer Programming and Software