增强型共享分析技术：全面评估
摘要：分享：通过在逻辑程序分析中开发的抽象域，求取有用的别名信息。众所周知，常用的技术核心，如将共享与自由度和线性度信息进行整合，可以显著提高分析的准确性。然而，多年来已经有许多其他针对细化域组合的提议流传。这些提议的一个共同特点是它们似乎尚未经过彻底的实验评估，甚至不能保证准确性提升。在本文中，我们进行实验评估：使用Pos（正布尔公式域）找到的确定地面变量来帮助分享；将显式结构信息纳入分析；一个完整的分享和Pos的减少乘积实现；重新排序计算抽象mgu中的绑定问题；提出一个新的模式记录被视为地面或自由变量集合的附加模式；一种优化的利用线性度来提高分析的方式；在共享和自由度信息的组合中恢复隐藏信息的问题。最后，讨论了跟踪复合性是否允许计算更多的共享信息的问题。
作者：Roberto Bagnara, Enea Zaffanella, Patricia M. Hill
论文ID：cs/0401022
分类：Programming Languages
分类简称：cs.PL
提交时间：2007-05-23