Generative operational semantics for relaxed memory models

DOI10.1007/978-3-642-11957-6_17MaRDI QIDQ3558229zbMATH OpenOpenAlexFDO

Authors Radha Jagadeesan, Corin Pitcher, J. Riely

Publication date 4 May 2010

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-11957-6_17

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Recommendations

• Studying Operational Models of Relaxed Concurrency
• Relaxed memory models
• An operational happens-before memory model
• The Java Memory Model: Operationally, Denotationally, Axiomatically
• scientific article; zbMATH DE number 1951189

Cited in

(9)

• An operational happens-before memory model
• Operational semantics with semicommutations
• Studying Operational Models of Relaxed Concurrency
• Plan B, a buffered memory model for Java
• Relaxed operational semantics of concurrent programming languages
• Relaxed memory models
• The Java memory model
• Operational semantics of a weak memory model with channel synchronization
• Operational semantics of a weak memory model with channel synchronization

Describes a project that uses

Uses Software

• Scala
• TSOTool

This page was built for publication: Generative operational semantics for relaxed memory models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3558229)