scientific article; zbMATH DE number 1951189

MaRDI QIDQ4413677zbMATH OpenFDO

Authors Varsha Awhad, Charles Wallace

Publication date 21 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2589/25890166.htm

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• The safety-critical Java memory model formalised
• Java Memory Model-Aware Model Checking
• The Java Memory Model: Operationally, Denotationally, Axiomatically
• scientific article; zbMATH DE number 1617288
• Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making
• The Java memory model

Cited in

(20)

• An axiomatic specification for sequential memory models
• The safety-critical Java memory model formalised
• Relationships between memory models
• Complete formal specification of the OpenMP memory model
• Formal specification and verification of the C\(\#\) thread model
• scientific article; zbMATH DE number 1617288 (Why is no real title available?)
• scientific article; zbMATH DE number 1670511 (Why is no real title available?)
• scientific article; zbMATH DE number 1670761 (Why is no real title available?)
• Java and the Java memory model -- a unified, machine-checked formalisation
• Java Memory Model-Aware Model Checking
• Plan B, a buffered memory model for Java
• A unified theory of shared memory consistency
• Generative operational semantics for relaxed memory models
• scientific article; zbMATH DE number 1949622 (Why is no real title available?)
• Programmer-centric memory consistency modelling
• The Java memory model
• Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model
• Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making
• The Java Memory Model: Operationally, Denotationally, Axiomatically
• Model checking a cache coherence protocol of a Java DSM implementation

This page was built for publication:

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