A Calculus for Relaxed Memory
From MaRDI portal
Publication:2819850
DOI10.1145/2676726.2676984zbMath1346.68048OpenAlexW2090532555MaRDI QIDQ2819850
Karl Crary, Michael J. Sullivan
Publication date: 29 September 2016
Published in: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2676726.2676984
Related Items (3)
Parallelized sequential composition and hardware weak memory models ⋮ An Isabelle/HOL formalisation of the SPARC instruction set architecture and the TSO memory model ⋮ Leveraging access mode declarations in a model for memory consistency in heterogeneous systems
Uses Software
This page was built for publication: A Calculus for Relaxed Memory
