Skip to Main content Skip to Navigation
Conference papers

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.
Complete list of metadatas

Cited literature [10 references]  Display  Hide  Download

https://hal.inria.fr/hal-01099125
Contributor : David Baelde <>
Submitted on : Wednesday, December 31, 2014 - 3:17:39 PM
Last modification on : Wednesday, November 20, 2019 - 3:22:19 AM
Long-term archiving on: : Wednesday, April 1, 2015 - 10:10:57 AM

File

jfla15_submission_4.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01099125, version 1

Collections

Citation

Simon Castellan. La stratégie de la fourchette. Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France. ⟨hal-01099125⟩

Share

Metrics

Record views

152

Files downloads

250