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.
Type de document :
Communication dans un congrès
Julien Signoles. Vingt-septièmes Journées Francophones des Langages Applicatifs (JFLA 2016), Jan 2016, Saint-Malo, France
Liste complète des métadonnées

Littérature citée [12 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01333582
Contributeur : Julien Signoles <>
Soumis le : vendredi 17 juin 2016 - 17:53:07
Dernière modification le : mardi 16 janvier 2018 - 15:36:01
Document(s) archivé(s) le : dimanche 18 septembre 2016 - 11:04:01

Fichier

jfla-2016.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01333582, version 1

Collections

Citation

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

Partager

Métriques

Consultations de la notice

40

Téléchargements de fichiers

29