基于约束逻辑的语言的有限树分析：完整未删减版
编程语言
2007-05-23 v2
摘要
基于有理树（可能是无限的）理论的逻辑语言具有很大的吸引力，因为有理树允许更快的合一（由于安全省略 occurs-check）并提高了表达能力（循环项可以为语法和其他有用对象提供非常高效的表示）。然而，使用无限有理树存在一些问题。例如，许多内置谓词和库谓词对于此类树定义不明确，需要通过运行时检查来补充，其成本可能很高。此外，一些广泛使用的程序分析与操作技术仅对程序中处理有限树的部分是正确的。因此，自动获取在感兴趣的程序点处始终绑定到有限项的程序变量（有限变量）的知识非常重要。出于这些原因，我们在此提出了一种基于抽象解释的新型数据流分析，以捕获此类信息。
引用
@article{arxiv.cs/0404055,
title = {Finite-Tree Analysis for Constraint Logic-Based Languages: The Complete Unabridged Version},
author = {Roberto Bagnara and Roberta Gori and Patricia M. Hill and Enea Zaffanella},
journal= {arXiv preprint arXiv:cs/0404055},
year = {2007}
}
备注
89 pages, 1 table