戴维·莫尼奥 实值程序的最佳抽象。 （英语） Zbl 1211.68098号 Nielson、Hanne Riis（编辑）等，《静态分析》。2007年8月22日至24日，第14届国际研讨会，SAS，丹麦，Kongens Lyngby。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-74060-5/pbk）。计算机科学课堂讲稿4634104-120（2007）。 摘要：在本文中，我们证明了使用实闭域理论中的公式，使用实变量抽象程序片段是可能的。这种抽象是组合和模块化的。我们首先为没有循环的程序提出一个精确的抽象。给定一个抽象域（在包括区间和八边形的广泛类中），然后我们展示如何获得关于该域的程序片段的最佳抽象。这种抽象允许在抽象域内计算最佳不动点，而不需要加宽运算符。关于整个系列，请参见[Zbl 1123.68008号]. 引用于1文件 理学硕士： 68号30 软件工程的数学方面（规范、验证、度量、需求等） PDF格式BibTeX公司 XML格式引用 \textit{D.Monniaux}，莱克特。注释计算。科学。4634，104-120（2007；Zbl 1211.68098） 全文： 内政部 哈尔