用于有限树与有理树语言分析的集合共享、自由性与线性性的正确、精确且高效的整合
编程语言
2007-05-23 v1
摘要
众所周知，自由性与线性性信息与别名信息正向交互，从而能够提高逻辑程序共享分析的精度和效率。在本文中，我们提出了一种将集合共享与自由性和线性性信息相结合的新方法，其特征在于改进的抽象合一算子。我们提供了一个新的抽象函数，并证明了该分析在有限树和有理树情况下的正确性。此外，我们表明，在 (Bagnara et al. 2002; Zaffanella et al. 2002) 中确定的冗余信息的相同概念也适用于此抽象论域组合：这允许实现一个在多项式时间内运行，并在所有考虑的可观测属性上达到相同精度的抽象合一算子。
引用
@article{arxiv.cs/0401021,
title = {A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages},
author = {Patricia M. Hill and Enea Zaffanella and Roberto Bagnara},
journal= {arXiv preprint arXiv:cs/0401021},
year = {2007}
}
备注
35 pages, 1 table, to appear on "Theory and Practice of Logic Programming"