Type-Based Analysis for Session Inference (Extended Abstract) - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Type-Based Analysis for Session Inference (Extended Abstract)

Carlo Spaccasassi
  • Fonction : Auteur
  • PersonId : 998097
Vasileios Koutavas
  • Fonction : Auteur
  • PersonId : 998098

Résumé

We propose a type-based analysis to infer the session protocols of channels in an ML-like concurrent functional language. Combining and extending well-known techniques, we develop a type-checking system that separates the underlying ML type system from the typing of sessions. Without using linearity, our system guarantees communication safety and partial lock freedom. It also supports provably complete session inference for finite sessions with no programmer annotations. We exhibit the usefulness of our system with interesting examples, including one which is not typable in substructural type systems.
Fichier principal
Vignette du fichier
426757_1_En_17_Chapter.pdf (513.24 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01432922 , version 1 (12-01-2017)

Licence

Paternité

Identifiants

Citer

Carlo Spaccasassi, Vasileios Koutavas. Type-Based Analysis for Session Inference (Extended Abstract). 36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.248-266, ⟨10.1007/978-3-319-39570-8_17⟩. ⟨hal-01432922⟩
37 Consultations
66 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More