The Java Memory Model: Operationally, Denotationally, Axiomatically

DOI10.1007/978-3-540-71316-6_23zbMATH Open1187.68114OpenAlexW1589643726MaRDI QIDQ5756503FDOQ5756503

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

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

Mathematics Subject Classification ID

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

Cited In (10)

• Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model
• Programming Languages and Systems
• Title not available (Why is that?)
• Implicit propagation in structural operational semantics
• A denotational semantics for SPARC TSO
• Title not available (Why is that?)
• The safety-critical Java memory model formalised
• Title not available (Why is that?)
• An operational happens-before memory model
• Generative operational semantics for relaxed memory models

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)