The Parallel Intensionally Fully Abstract Games Model of PCF

Abstract : We describe a framework for truly concurrent game semantics of programming languages, based on Rideau and Winskel's concurrent games on event structures. The model supports a notion of innocent strategy that permits concurrent and non-deterministic behaviour, but which coincides with traditional Hyland-Ong innocent strategies if one restricts to the deterministic sequential case. In this framework we give an alternative interpretation of Plotkin's PCF, that takes advantage of the concurrent nature of strategies and formalizes the idea that although PCF is a sequential language, certain sub-computations are independent and can be computed in a parallel fashion. We show that just as Hyland and Ong's sequential interpretation of PCF, our parallel interpretation yields a model that is intensionally fully abstract for PCF.
Type de document :
Communication dans un congrès
Thirtieth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS), Jul 2015, Kyoto, Japan. Thirtieth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS), 2015, 〈http://lics.rwth-aachen.de/lics15/〉. 〈10.1109/LICS.2015.31〉
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-01286477
Contributeur : Pierre Clairambault <>
Soumis le : jeudi 10 mars 2016 - 18:44:51
Dernière modification le : jeudi 4 octobre 2018 - 01:15:42
Document(s) archivé(s) le : dimanche 13 novembre 2016 - 15:20:13

Fichier

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

Identifiants

Citation

Simon Castellan, Pierre Clairambault, Glynn Winskel. The Parallel Intensionally Fully Abstract Games Model of PCF. Thirtieth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS), Jul 2015, Kyoto, Japan. Thirtieth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS), 2015, 〈http://lics.rwth-aachen.de/lics15/〉. 〈10.1109/LICS.2015.31〉. 〈hal-01286477〉

Partager

Métriques

Consultations de la notice

166

Téléchargements de fichiers

90