Concurrent Permission Machine for modular proofs of optimizing compilers with shared memory concurrency.
Primary LanguageTeX