Weak memory models using event structures - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year :

Weak memory models using event structures


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.
Fichier principal
Vignette du fichier
jfla-2016.pdf (328.91 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01333582 , version 1 (17-06-2016)


  • 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⟩
203 View
154 Download


Gmail Facebook Twitter LinkedIn More