Parameterized Algebraic Protocols
Rattachement africain : pt, de. Niveau de preuve : code pays fourni par la source.
Le résumé fourni par la source
We propose algebraic protocols that enable the definition of protocol templates and session types analogous to the definition of domain-specific types with algebraic datatypes. Parameterized algebraic protocols subsume all regular as well as most context-free and nested session types and, at the same time, replace the expensive superlinear algorithms for type checking by a nominal check that runs in linear time. Algebraic protocols in combination with polymorphism increase expressiveness and modularity by facilitating new ways of parameterizing and composing session types.
Ce résumé expose les affirmations des auteurs. BNTIC ne l’interprète pas comme une validation indépendante des résultats.
Le contrôle bibliographique ouvert
DOI retrouvé dans Crossref DOI retrouvé ; titre concordant.
- Titre Crossref
- Parameterized Algebraic Protocols
- Date Crossref
- 06/06/2023
- Éditeur
- Association for Computing Machinery (ACM)
- Type
- journal-article
Ce recoupement confirme des métadonnées liées au DOI. Il ne confirme ni la méthode ni les conclusions de l’étude, et il ne compte pas comme une seconde source scientifique indépendante.
Où se fait cette recherche
-
University of Lisbon pays non établi dans la noticeUniversité ou école supérieure
-
University of Freiburg pays non établi dans la noticeUniversité ou école supérieure
University of Lisbon et University of Freiburg.
Une affiliation ne permet pas de déduire la nationalité d’un auteur.