苏振东;大卫·瓦格纳 一类用于区间分析的多项式可解范围约束，无需加宽和加窄。 （英语） 兹比尔1126.68358 Jensen，Kurt（编辑）等人，《系统构建和分析的工具和算法》。2004年3月29日至4月2日在西班牙巴塞罗那举行的第十届国际会议TACAS 2004，作为软件理论与实践联合会议ETAPS 2004的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-21299-X/pbk）。计算机科学课堂讲稿2988280-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） 全文： 内政部