Browsing by Subject Machine-checked proofs
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) |
|---|---|---|
| 2020 | Concurrent Permission Machine for modular proofs of optimizing compilers with shared memory concurrency. | Cuellar, Santiago |