Polymorphic Typestate for Session Types
Rattachement africain : de. Niveau de preuve : code pays fourni par la source.
Le résumé fourni par la source
Session types provide a principled approach to typed communication protocols that guarantee type safety and protocol fidelity. Formalizations of session-typed communication are typically based on process calculi, concurrent lambda calculi, or linear logic. An alternative model based on context-sensitive typing and typestate has not received much attention due to its apparent restrictions. However, this model is attractive because it does not force programmers into particular patterns like continuation-passing style or channel-passing style, but rather enables them to treat communication channels like mutable variables.
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
- Polymorphic Typestate for Session Types
- Date Crossref
- 22/10/2023
- Éditeur
- ACM
- Type
- proceedings-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 Freiburg pays non établi dans la noticeUniversité ou école supérieure
-
Universität Freiburg pays non établi dans la noticeInstitution
University of Freiburg et Universität Freiburg.
Une affiliation ne permet pas de déduire la nationalité d’un auteur.