The Java Memory Model: Operationally, Denotationally, Axiomatically
From MaRDI portal
Publication:5756503
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)- Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model
- Programming Languages and Systems
- scientific article; zbMATH DE number 1951189 (Why is no real title available?)
- Implicit propagation in structural operational semantics
- A denotational semantics for SPARC TSO
- scientific article; zbMATH DE number 1670761 (Why is no real title available?)
- The safety-critical Java memory model formalised
- An operational happens-before memory model
- scientific article; zbMATH DE number 1948163 (Why is no real title available?)
- 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)