La stratégie de la fourchette

Résumé : Dans cet article, on se propose d'utiliser les développements récents de sémantique des jeux basés sur des ordres partiels pour donner une sémantique dénotationnelle à une primitive de concurrence inspirée de l'appel système UNIX fork. Cet appel système, lors de son invocation, duplique le contexte d'exécution de son programme, et renvoie deux entiers distincts permettant au programme de savoir dans quelle dent de la fourche il se trouve. La première contribution de cet article est de donner une sémantique opérationnelle faisant droit au parfum opérateur de contrôle de cette primitive qui manipule le contexte d'exécution. La seconde contribution de ce papier est l'élaboration d'une sémantique des jeux « vraiment concurrente » qui donne une représentation fine de l'exécution du langage. Cette sémantique des jeux est prouvée correcte vis-à-vis de la sémantique opérationnelle et permet de faire un premier pas vers la modélisation de comportements concurrents complexes en utilisant les jeux concurrents.
Type de document :
Communication dans un congrès
David Baelde; Jade Alglave. Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France. Actes des Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), 〈http://jfla.inria.fr/2015〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01099125
Contributeur : David Baelde <>
Soumis le : mercredi 31 décembre 2014 - 15:17:39
Dernière modification le : mardi 24 avril 2018 - 13:52:30
Document(s) archivé(s) le : mercredi 1 avril 2015 - 10:10:57

Fichier

jfla15_submission_4.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01099125, version 1

Collections

Citation

Simon Castellan. La stratégie de la fourchette. David Baelde; Jade Alglave. Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France. Actes des Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), 〈http://jfla.inria.fr/2015〉. 〈hal-01099125〉

Partager

Métriques

Consultations de la notice

101

Téléchargements de fichiers

172