苏振东;大卫·瓦格纳 一类用于区间分析的多项式可解范围约束,无需加宽和加窄。 (英语) Zbl 1126.68358号 Jensen,Kurt(编辑)等人,《系统构建和分析的工具和算法》。2004年3月29日至4月2日在西班牙巴塞罗那举行的第十届国际会议TACAS 2004,作为软件理论与实践联合会议ETAPS 2004的一部分。诉讼程序。柏林:施普林格出版社(ISBN 3-540-21299-X/pbk)。《计算机科学讲义》2988200-295(2004)。 摘要:在本文中,我们研究了在许多静态程序分析问题中出现的整数范围约束的求解问题。特别地,我们给出了一类整数范围约束的第一个多项式时间算法。与基于加宽和缩小的抽象解释技术相比,我们的算法在多项式时间内计算产生的不动点方程的最优解。我们的结果表明,可以在多项式时间内进行“精确”范围分析,而无需进行加宽和缩小操作。关于整个系列,请参见[Zbl 1046.68008号]. 引用于2文件 MSC公司: 68号30 软件工程的数学方面(规范、验证、度量、需求等) PDF格式BibTeX公司 XML格式引用 \textit{Z.Su}和\textit{D.Wagner},Lect。注释计算。科学。2988280-295(2004年;Zbl 1126.68358) 全文: 内政部