基于环境变换抽象概念的区域类型推断
编程语言
2022-09-09 v2 计算机科学中的逻辑
摘要
基于区域的类型系统是用于各种程序分析的强大工具。我们提出了一种基于环境变换抽象概念的区域类型新推断算法。即使程序中存在多个具有不同区域类型的方法调用，该算法也仅对方法代码分析一次。这种抽象变换的元素本质上是捕获程序流信息的等式与子类型约束。特别地，我们在抽象变换的定义中使用访问图以保证推断算法的终止性，因为访问图提供了字段访问路径的有限表示。
引用
@article{arxiv.2209.02147,
title = {Inferring Region Types via an Abstract Notion of Environment Transformation},
author = {Ulrich Schöpp and Chuangjie Xu},
journal= {arXiv preprint arXiv:2209.02147},
year = {2022}
}
备注
To appear at APLAS'22; arXiv version contains appendices on the construction of concatenation and join for abstract transformations and an example of type inference