Bisimulations for Delimited-Control Operators - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2017

Bisimulations for Delimited-Control Operators

Résumé

We propose a survey of the behavioral theory of an untyped lambda-calculus extended with the delimited-control operators shift and reset. We define a contextual equivalence for this calculus, that we then aim to characterize with coinductively defined relations, called bisimilarities. We study different styles of bisimilarities (namely applicative, normal form, and environmental), and we give several examples to illustrate their respective strengths and weaknesses. We also discuss how to extend this work to other delimited-control operators.
Fichier principal
Vignette du fichier
RR-9096.pdf (1.13 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01207112 , version 1 (30-09-2015)
hal-01207112 , version 2 (31-01-2017)
hal-01207112 , version 3 (20-09-2017)

Identifiants

  • HAL Id : hal-01207112 , version 3

Citer

Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk. Bisimulations for Delimited-Control Operators. [Research Report] RR-9096, Inria Nancy - Grand Est. 2017. ⟨hal-01207112v3⟩
440 Consultations
182 Téléchargements

Partager

Gmail Facebook X LinkedIn More