基于环境变化抽象概念的区域类型推断
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
