最坏情况下的地面性分析利用明确布尔函数
摘要：抽象解释得到的对于确定（Def）和正（Pos）布尔函数的抽象域进行的地面性分析的理论最坏情况进行了阐述。对于Def，给出了一个例子，该例子中基于Def的地面性分析的抽象解释遵循的链在参数位置数量和从句数量上呈指数增长，但在程序大小上呈亚指数增长。对于Pos，通过举例了一个强化了先前结果的例子，该例子中基于Pos的地面性分析的抽象解释遵循的链在程序大小上呈指数增长。至于Def的最坏情况是否像Pos一样糟糕尚未确定。
作者：Samir Genaim, Michael Codish, Jacob M. Howe
论文ID：cs/0405101
分类：Programming Languages
分类简称：cs.PL
提交时间：2007-05-23