约翰·威克森;马克·巴蒂;泰勒·索伦森;乔治·康斯坦丁德斯(George A.Constantinides)。 自动比较内存一致性模型。 (英语) Zbl 1380.68110号 Castagna,Giuseppe(编辑)等人,第44届ACM SIGPLAN编程语言原则年度研讨会论文集,POPL’17,法国巴黎,2017年1月15日至21日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4660-3)。190-204 (2017). 引用于4文件 MSC公司: 68N20型 编译与解释理论 68甲15 编程语言理论 68甲19 其他编程范式(面向对象、顺序、并发、自动等) 第68季度第60季度 规范和验证(程序逻辑、模型检查等) 关键词:信用证++;开放运算语言;约束求解;图形处理器(GPU);模型检查;程序综合;共享内存并发;弱记忆模型 软件:合金;弯曲;开放运算语言;PrecoSAT公司;PicoSAT卫星;CDS检查器 PDF格式BibTeX公司 XML格式引用 \textit{J.Wickerson}等人,in:第44届ACM SIGPLAN编程语言原理年度研讨会论文集,POPL’17,法国巴黎,2017年1月15-21日。纽约州纽约市:计算机协会(ACM)。190-204(2017;Zbl 1380.68110) 全文: 内政部 链接