尼尚·辛哈;王超 关于干扰抽象。 (英语) Zbl 1284.68203号 2011年1月26日至28日,美国德克萨斯州奥斯汀,POPL'11,第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-0490-0)。423-434 (2011). 引用于三文件 MSC公司: 68号30 软件工程的数学方面(规范、验证、度量、需求等) 68甲19 其他编程范式(面向对象、顺序、并发、自动等) 关键词:抽象/细化;并发验证;干扰提取;内存一致性;顺序一致性;SMT求解器 PDF格式BibTeX公司 XML格式引用 \textit{N.Sinha}和\textit{C.Wang},摘自:第38届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,2011年1月26日至28日,美国德克萨斯州奥斯汀,POPL'11。纽约州纽约市:计算机协会(ACM)。423--434(2011年;Zbl 1284.68203) 全文: 内政部