论文标题
通过环境转化的抽象概念推断区域类型
Inferring Region Types via an Abstract Notion of Environment Transformation
论文作者
论文摘要
基于区域的类型系统是用于各种程序分析的强大工具。我们基于环境转化的抽象概念为区域类型引入了一种新的推理算法。即使程序中不同区域类型的方法有多个调用，它也仅分析了一次方法的代码。这种抽象转换的元素本质上是捕获程序流量信息的平等和亚型的限制。特别是，我们在抽象转换的定义中使用访问图，以确保推理算法的终止，因为它们提供了现场访问路径的有限表示。
Region-based type systems are a powerful tool for various kinds of program analysis. We introduce a new inference algorithm for region types based on an abstract notion of environment transformation. It analyzes the code of a method only once, even when there are multiple invocations of the method of different region types in the program. Elements of such an abstract transformation are essentially constraints for equality and subtyping that capture flow information of the program. In particular, we work with access graphs in the definition of abstract transformations to guarantee the termination of the inference algorithm, because they provide a finite representation of field access paths.
