罗伯托·贾科巴齐;伊莎贝拉·马斯特罗埃尼 完整抽象的域压缩。 （英语） Zbl 1022.68074号 Zuck，Leonore D.（编辑）等人，《验证、模型检验和抽象解释》。2003年1月9日至11日，美国纽约州纽约市，第四届国际会议，VMCAI 2003。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。2575, 146-160 (2003). 摘要：我们介绍了对有限抽象域进行完全细化的域压缩操作。这提供了一种系统化的方法来简化抽象域，以便在存在最抽象的域时将其分离出来，而对给定语义函数的完整性进行细化将返回给定的域。域压缩与静态程序分析和抽象模型检查中的抽象比较特别相关。在后一种情况下，我们考虑转换系统的谓词抽象中的域压缩。关于整个系列，请参见[Zbl 1014.00022号]. 引用于1文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 68问题55 计算理论中的语义学 关键词：抽象解释;抽象域;完整性;领域细化;谓词抽象;抽象模型检查;程序分析 PDF格式BibTeX公司 XML格式引用 \textit{R.Giacobazzi}和\textit{I.Mastroeni}，莱克特。票据计算。科学。2575146-160（2003年；Zbl 1022.68074） 全文： 链接