文件名称：imm:中间存储器模型（IMM）及其编译正确性证明
文件大小：184KB
文件格式：ZIP
更新时间：2024-06-11 09:21:59
coq proof weak-memory-models Coq
中间存储器模型（IMM）及其编译正确性证明 相关项目 一个有前途的1.0 [Kang-al：POPL17]到IMM编译的正确性证明[ ] 一个有前途的2.0 [Lee-al：PLDI20]到IMM编译的正确性证明[ ] Weakestmo [Chakraborty-Vafeiadis：POPL19]到IMM编译正确性证明[ ] 相关论文 [POPL19]缩小编程语言和硬件弱存储器模型之间的差距[| | ] Anton Podkopaev，Ori Lahav和Viktor Vafeiadis [PLDI20]修复和机械化JavaScript松弛内存模型康拉德·瓦特（Conrad Watt），克里斯托弗·普尔特（Christopher Pulte），安东·波德科帕耶夫（Anton Podkopaev），纪尧姆·巴比尔（Guillaume Barbier），史蒂芬·多兰（Step
【文件预览】：
imm-master
----opam(949B)
----src()
--------simhelpers()
--------basic()
--------ocamlmm()
--------jsmm()
--------lib()
--------c11()
--------rc11()
--------traversal()
--------ldrf()
--------hardware()
--------imm()
----Dockerfile(398B)
----scripts()
--------find-unused-imports.sh(2KB)
--------hintglobal.sh(423B)
--------fieldfixer.sh(290B)
----configure(307B)
----LICENSE.md(1KB)
----README.md(5KB)
----Makefile(990B)
----descr(184B)
----.gitignore(40B)