戈登·斯图尔特；伦纳特·贝林格；安德鲁·W·阿佩尔。 通过参数调制验证堆定理证明器。 （英语） Zbl 1291.68371号 2012年9月9日至15日在丹麦哥本哈根举行的第17届ACM SIGPLAN功能编程国际会议记录，ICFP’12。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1054-3）。ACM SIGPLAN Notices 47，No.9，3-14（2012）。 引用于2文件 MSC公司： 68吨15 定理证明（演绎、解析等）（MSC2010） 68甲18 函数编程和lambda演算 关键词：副调制；分离逻辑；定理证明 软件：VeriStar公司；jStar公司；加利纳；杀手；小脚；VeriSmall公司；Coq公司 PDF格式BibTeX公司 XML格式引用 \textit{G.Stewart}等人，in：第17届ACM SIGPLAN函数式编程国际会议论文集，ICFP’12，丹麦哥本哈根，2012年9月9日至15日。纽约州纽约市：计算机协会（ACM）。3-14（2012年；Zbl 1291.68371） 全文： 内政部