有限和有理树语言分析中集合共享、自由度和线性的正确、精确和高效集成
摘要：在这篇论文中，我们介绍了一种结合了集合共享、自由度和线性性信息的新方法，其特点是改进了抽象统一操作符。我们提供了一个新的抽象函数，并证明了有限树和有理树的情况下分析的正确性。此外，我们还展示了在这个抽象域组合中也适用于与（Bagnara等，2002年；Zaffanella等，2002年）中所确定的冗余信息相同的概念：这允许在多项式时间内实现抽象统一操作符，并在所有考虑到的可观察属性上达到相同的精度。
作者：Patricia M. Hill, Enea Zaffanella, Roberto Bagnara
论文ID：cs/0401021
分类：Programming Languages
分类简称：cs.PL
提交时间：2007-05-23