×
沙迦·伊扎基；安妮迪亚·班纳吉；尼尔·伊梅尔曼；奥里·拉哈夫；阿列克桑达尔·纳内夫斯基；穆利·萨吉夫

通过有效的命题公式对堆路径进行模块化推理。 （英语） Zbl 1284.68403号

2014年1月22日至24日，美国加利福尼亚州圣地亚哥，POPL’14，第41届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机机械协会（ACM）（ISBN 978-1-4503-2544-8）。385-396 (2014).

引用于5文件

MSC公司：

60年第68季度 规范和验证（程序逻辑、模型检查等）
68号30 软件工程的数学方面（规范、验证、度量、需求等）
68T20型 人工智能背景下的问题解决（启发式、搜索策略等）
03B70号 计算机科学中的逻辑

关键词：

链接列表；表面贴装；验证

软件：

z3（零3）；SMT-LIB公司；规格#
PDF格式BibTeX公司 XML格式引用
\textit{S.Itzhaky}等人，in：第41届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL’14，美国加利福尼亚州圣地亚哥，2014年1月22日至24日。纽约州纽约市：计算机协会（ACM）。385-396（2014年；兹比尔1284.68403）
全文： 内政部