×
马杜苏丹，P。;根纳罗Parlato;邱晓康

组合堆结构和数据的可判定逻辑。 （英语） Zbl 1284.68411号

2011年1月26日至28日，美国德克萨斯州奥斯汀，POPL'11，第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0490-0）。611-622 (2011).

引用于16文件

MSC公司：

60年第68季度 规范和验证（程序逻辑、模型检查等）
03B70号 计算机科学中的逻辑
68第05页 数据结构
65年第68季度 形式语言和自动机

关键词：

自动机;组合决策程序;可判定性;堆分析;一元二阶逻辑;SMT求解器

软件：

z3（零3）
PDF格式BibTeX公司 XML格式引用
\textit{P.Madhusudan}et al.，in：第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL’11，美国德克萨斯州奥斯汀，2011年1月26-28日。纽约州纽约市：计算机协会（ACM）。611--622（2011；Zbl 1284.68411）
全文： 内政部 链接