The Java Memory Model: Operationally, Denotationally, Axiomatically

DOI10.1007/978-3-540-71316-6_23MaRDI QIDQ5756503zbMATH OpenOpenAlexFDO

Authors Pietro Cenciarelli, Alexander Knapp, Eleonora Sibilio

Publication date 4 September 2007

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

Full work available at URL https://doi.org/10.1007/978-3-540-71316-6_23

Mathematics Subject Classification ID

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

Recommendations

• Java and the Java memory model -- a unified, machine-checked formalisation
• The Java memory model
• scientific article; zbMATH DE number 1951189
• Java Memory Model-Aware Model Checking
• The safety-critical Java memory model formalised
• Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making
• scientific article; zbMATH DE number 1617288

Cited in

(10)

• An operational happens-before memory model
• The safety-critical Java memory model formalised
• scientific article; zbMATH DE number 1670761 (Why is no real title available?)
• Implicit propagation in structural operational semantics
• Generative operational semantics for relaxed memory models
• scientific article; zbMATH DE number 1948163 (Why is no real title available?)
• scientific article; zbMATH DE number 1951189 (Why is no real title available?)
• Programming Languages and Systems
• A denotational semantics for SPARC TSO
• Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model

This page was built for publication: The Java Memory Model: Operationally, Denotationally, Axiomatically

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