×
苏米特·古尔瓦尼;比尔·麦克洛斯基;阿什什·蒂瓦里

将抽象解释器提升到量化的逻辑域。 （英语） Zbl 1295.68085号

第35届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2008年1月7日至12日，美国加利福尼亚州旧金山，POPL'08。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-59593-689-9）。235-246 (2008).

引用于17文件

MSC公司：

68号30 软件工程的数学方面（规范、验证、度量、需求等）
60年第68季度 规范和验证（程序逻辑、模型检查等）
68吨15 定理证明（演绎、解析等）（MSC2010）
68周25 近似算法

关键词：

抽象解释器;逻辑格;量化不变量;欠近似算法
PDF格式BibTeX公司 XML格式引用
\textit{S.Gulwani}等人，in：第35届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'08，美国加利福尼亚州旧金山，2008年1月7日至12日。纽约州纽约市：计算机协会（ACM）。235-246（2008年；Zbl 1295.68085）
全文： 内政部