通过团研究集共享分析
摘要：高效、可扩展的逻辑程序共享分析问题研究。我们使用将共享信息表示为一对抽象的替换，其中之一是一种最坏情况共享表示，称为团集，这在推断对分享方面已经提出了。我们使用团体集表示来（1）推断实际的集合共享信息，和（2）在自上而下的框架内进行分析。特别是，我们定义了标准自上而下分析所依赖的抽象函数，包括仅共享和包括除共享之外的自由性的情况。我们的实验评估支持结论，即对于推断集合共享而言，正如对于推断对共享而言一样，损失的准确性是有限的，而获得了有用的效率提升。在极限情况下，团体集表示允许分析一些超过内存容量的程序，而使用传统的共享表示则不行。
作者：Jorge Navas, Francisco Bueno, Manuel Hermenegildo
论文ID：cs/0508112
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2008-07-10