Complete formal specification of the OpenMP memory model

DOI10.1007/s10766-007-0051-4zbMath1124.68336OpenAlexW2150717721WikidataQ126211238 ScholiaQ126211238MaRDI QIDQ2457959

Bronis R. De Supinski, Greg Bronevetsky

Publication date: 24 October 2007

Published in: International Journal of Parallel Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10766-007-0051-4

zbMATH Keywords

theorem provingparallel programmingOpenMPformal systems

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15)

Related Items

Complete formal specification of the OpenMP memory model

Cites Work

• Checking cache-coherence protocols with TLA\(^+\)
• Complete formal specification of the OpenMP memory model
• The Java memory model
• Unnamed Item