迪利格，伊西尔;托马斯·迪利格;亚历克斯·艾肯 使用容器对程序进行精确推理。 （英语） Zbl 1284.68175号 2011年1月26日至28日，美国德克萨斯州奥斯汀，POPL'11，第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0490-0）。187-200 (2011). 引用于5文件 MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 68第05页 数据结构 关键词：集装箱分析;堆分析;符号堆 PDF格式BibTeX公司 XML格式引用 \textit{I.Dillig}等人，in：第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL'11，美国德克萨斯州奥斯汀，2011年1月26-28日。纽约州纽约市：计算机协会（ACM）。187-200（2011年；Zbl 1284.68175） 全文： 内政部