Skip to Main content Skip to Navigation
Conference papers

Weak memory models using event structures

Abstract : In this article, we investigate a denotational semantics based on event structures for a very simple imperative and concurrent programming language. The model incorporates behaviours of weak memory models such as reordering of instructions and non-locality. Our model can then be used to define a function from programs to their possible outcomes that can be used to give a formal semantics to a processor or a programming language. Most of the semantic ideas come from game semantics and its recent development based on event structures, but taking advantage of the first-order setting, we present in this paper a self-contained simplification of these ideas.
Document type :
Conference papers
Complete list of metadata

Cited literature [12 references]  Display  Hide  Download
Contributor : Julien Signoles Connect in order to contact the contributor
Submitted on : Friday, June 17, 2016 - 5:53:07 PM
Last modification on : Saturday, September 11, 2021 - 3:18:28 AM
Long-term archiving on: : Sunday, September 18, 2016 - 11:04:01 AM


Files produced by the author(s)


  • HAL Id : hal-01333582, version 1



Simon Castellan. Weak memory models using event structures. Vingt-septièmes Journées Francophones des Langages Applicatifs (JFLA 2016), Jan 2016, Saint-Malo, France. ⟨hal-01333582⟩



Record views


Files downloads