Owicki-Gries Reasoning for C11 Programs with Relaxed Dependencies (Extended Version)
Owicki-Gries Reasoning for C11 Programs with Relaxed Dependencies (Extended Version)
复制标题
具有宽松依赖性的 C11 程序的 Owicki-Gries 推理（扩展版本）
DOI：
10.48550/arxiv.2108.01418
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Wright D
中科院分区：
文献类型：
--
作者：
Wright D
登录
查看更多内容
DOI：
--
发表时间：
2015
期刊：
European Symposium on Programming
影响因子：
--
作者：
Mark Batty;Kayvan Memarian;Kyndylan Nienhuis;Jean Pichon;Peter Sewell
通讯作者：
Peter Sewell
DOI：
10.1145/3293883.3295702
发表时间：
2018-11
期刊：
Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming
影响因子：
--
作者：
Simon Doherty;Brijesh Dongol;H. Wehrheim;J. Derrick
通讯作者：
Simon Doherty;Brijesh Dongol;H. Wehrheim;J. Derrick
将 C11 型内存模型的 Owicki-Gries 集成到 Isabelle/HOL 中
DOI：
10.1007/s10817-021-09610-2
发表时间：
2021
期刊：
Journal of Automated Reasoning
影响因子：
--
作者：
Dalvandi S
通讯作者：
Dalvandi S
有前途语义的分离逻辑
影响因子：
--
作者：
Kasper Svendsen;Jean Pichon;Marko Doko;O. Lahav;Viktor Vafeiadis
通讯作者：
Viktor Vafeiadis
C/C 11 并发的操作语义
DOI：
--
发表时间：
2016
期刊：
Conference on Object-Oriented Programming Systems, Languages, and Applications
影响因子：
--
作者：
Kyndylan Nienhuis;Kayvan Memarian;Peter Sewell
通讯作者：
Peter Sewell