埃里克·古堡 浮点运算精度的静态分析。 （英语） 兹比尔0997.68518 Cousot，Patrick（编辑），《静态分析》。第八届国际研讨会，2001年7月16日至18日，法国巴黎，SAS 2001。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。2126, 234-259 (2001). 摘要：计算机处理实数的近似值，称为浮点数。他们所做的计算对于大多数应用来说都足够准确。不幸的是，在某些（灾难性的）情况下，浮点运算会失去太多精度，很快就会变得不相关。在本文中，我们回顾了一些可能遇到的问题，重点是IEEE754-1985规范。我们给出了它的基本操作的语义（草图），然后抽象它们（在抽象解释的意义上），以提取有关可能丢失精度的信息。预期的应用是软件的抽象调试，从简单的板载系统（使用越来越多的带浮点单元的现成微处理器）到科学代码。摘要分析通过简单的例子进行了演示，并与相关工作进行了比较。关于整个系列，请参见[Zbl 0969.00086号]. 引用于1审查引用于10文件 MSC公司： 68纳米99 软件理论 65克50 舍入误差 68第05页 数据结构 软件：mctoolbox软件 PDF格式BibTeX公司 XML格式引用 \textit{E.Goubault}，莱克特。票据计算。科学。2126234-259（2001；Zbl 0997.68518） 全文： 链接