A Session Subtyping Tool - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2021

A Session Subtyping Tool

Résumé

Session types are becoming popular and have been integrated in several mainstream programming languages. Nevertheless, while many programming languages consider asynchronous fifo channel communication, the notion of subtyping used in session type implementations is the one defined by Gay and Hole for synchronous communication. This might be because there are several notions of asynchronous session subtyping, these notions are usually undecidable, and only recently sound (but not complete) algorithmic characterizations for these subtypings have been proposed. But the fact that the definition of asynchronous session subtyping and the theory behind related algorithms are not easily accessible to non-experts may also prevent further integration. The aim of this paper, and of the tool presented therein, is to make the growing body of knowledge about asynchronous session subtyping more accessible, thus promoting its integration in practical applications of session types.
Fichier principal
Vignette du fichier
paper_17.pdf (574.33 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03340750 , version 1 (10-09-2021)

Identifiants

Citer

Lorenzo Bacchiani, Mario Bravetti, Julien Lange, Gianluigi Zavattaro. A Session Subtyping Tool. COORDINATION 2021 - 23rd IFIP WG 6.1 International Conference Coordination Models and Languages, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, Jun 2021, Valletta / Virtual, Malta. pp.90-105, ⟨10.1007/978-3-030-78142-2_6⟩. ⟨hal-03340750⟩
64 Consultations
103 Téléchargements

Altmetric

Partager

More