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

https://hal.inria.fr/hal-01333582
Contributor : Julien Signoles <>
Submitted on : Friday, June 17, 2016 - 5:53:07 PM
Last modification on : Friday, June 25, 2021 - 3:40:04 PM
Long-term archiving on: : Sunday, September 18, 2016 - 11:04:01 AM

File

jfla-2016.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01333582, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

230

Files downloads

383