×

自动比较内存一致性模型。 (英语) Zbl 1380.68110号

Castagna,Giuseppe(编辑)等人,第44届ACM SIGPLAN编程语言原则年度研讨会论文集,POPL’17,法国巴黎,2017年1月15日至21日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4660-3)。190-204 (2017).

MSC公司:

68N20型 编译与解释理论
68甲15 编程语言理论
68甲19 其他编程范式(面向对象、顺序、并发、自动等)
第68季度第60季度 规范和验证(程序逻辑、模型检查等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接