An axiomatic specification for sequential memory models

DOI10.1007/978-3-319-21668-3_24zbMath1381.68174OpenAlexW1926439667MaRDI QIDQ1702905

Steve Zdancewic, Dmitri Garbuzov, William Mansky

Publication date: 1 March 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-21668-3_24

zbMATH Keywords

memory modelsoptimizing compilersdeep specifications

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: An axiomatic specification for sequential memory models