Soft Session Types - Archive ouverte HAL
Rapport Année : 2011

Soft Session Types

Résumé

We show how systems of sessions types can enforce interaction to be bounded for all typable processes. The type system we propose is based on Lafont's soft linear logic and is strongly inspired by recent works about session types as intuitionistic linear logic formulas. Our main result is the existence, for every typable process, of a polynomial bound on the length of any reduction sequence starting from it and on the size of any of its reducts.
Fichier principal
Vignette du fichier
sose_long.pdf (464.3 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00616388 , version 1 (22-08-2011)
hal-00616388 , version 2 (22-08-2011)
hal-00616388 , version 3 (28-09-2011)

Identifiants

  • HAL Id : hal-00616388 , version 3

Citer

Ugo Dal Lago, Paolo Di Giamberardino. Soft Session Types. 2011. ⟨hal-00616388v3⟩
298 Consultations
85 Téléchargements

Partager

More