Semantics of Concurrent Revisions
Abstract elided by the publisher.
Related papers
- Formalizing determinacy of concurrent revisions CPP 2020
- Prettier concurrency: purely functional concurrent revisions Haskell 2011
- Concurrent programming with revisions and isolation types OOPSLA 2010
- Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages TOPLAS 2024
- Clarifying and compiling C/C++ concurrency: from C++11 to POWER POPL 2012
- Simplifying ARM concurrency: multicopy-atomic axiomatic and operational models for ARMv8 POPL 2018
- Bridging the gap between programming languages and hardware weak memory models POPL 2019
- API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 ECOOP 2022