劳雷·贡诺德;尼古拉斯·哈尔布瓦茨 在线性关系分析中结合加宽和加速。 （英语） Zbl 1225.68071号 Yi，Kwangkeun（编辑），静态分析。2006年8月29日至31日，第13届国际研讨会，SAS 2006，韩国首尔。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-37756-6/pbk）。计算机科学讲义4134144-160（2006）。 概述：线性关系分析是第一个，但仍然是在无限格中工作的最强大的抽象解释之一。因此，它使用加宽运算符来强制不动点计算的收敛性。虽然可以通过延迟加宽应用来任意细化加宽引起的近似值，但随着延迟的增加，分析很快变得过于昂贵。以往提高加宽精度的尝试并不完全令人满意，因为它们都不能保证提高结果的精度，而且它们仍然会增加分析成本。在本文中，我们研究了线性关系分析的一种改进，包括在可能的情况下计算循环的精确（抽象）效果。此技术与加宽的使用完全兼容，只要适用，它就会提高分析的精度和性能。关于整个系列，请参见[Zbl 1120.68011号]. 引用于20文件 MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 软件：高超声速;阿司匹克 PDF格式BibTeX公司 XML格式引用 \textit{L.Gonnord}和\textit{N.Halbwachs}，莱克特。注释计算。科学。4134144-160（2006年；兹比尔1225.68071） 全文： 内政部 哈尔