Control-Flow Analysis and Type Systems
Control-Flow Analysis and Type Systems
复制标题
控制流分析和类型系统
DOI：
--
复制
发表时间：
1995
期刊：
影响因子：
--
通讯作者：
N. Heintze
中科院分区：
文献类型：
--
作者：
N. 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 extend them to reason about control-flow information. Similarly, we take four standard control-flow systems and conservatively extend them to reason about type consistency. Our main result is that we can match up the resulting type and control-flow systems such that we obtain pairs of equivalent systems, where the equivalence is with respect to both type and control-flow information. In essence, type systems and control-flow analysis can be viewed as complementary approaches for addressing questions of type consistency and control-flow.