The Java Memory Model: Operationally, Denotationally, Axiomatically

DOI10.1007/978-3-540-71316-6_23zbMath1187.68114OpenAlexW1589643726MaRDI QIDQ5756503

Eleonora Sibilio, Pietro Cenciarelli, Alexander Knapp

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)

Related Items (3)

An operational happens-before memory model ⋮ Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model ⋮ Implicit Propagation in Structural Operational Semantics

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