Accession Number:

ADA289338

Title:

Control-Flow Analysis and Type Systems

Descriptive Note:

Corporate Author:

CARNEGIE-MELLON UNIV PITTSBURGH PA SCHOOL OF COMPUTER SCIENCE

Personal Author(s):

• Heintze, Nevin

Report Date:

1994-12-01

Pagination or Media Count:

20.0

Abstract:

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.

Descriptors:

• *FLOW
• *CONTROL
• *COMPILERS
• POWER
• CONSISTENCY
• REASONING
• RECURSIVE FUNCTIONS

Subject Categories:

• Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE