Session Typing for a Featherweight Erlang

Abstract : As software tends to be increasingly concurrent, the paradigm ofmessage passing is becoming more prominent in computing. The language Erlang offers an intuitive and industry-testedimplementation of process-oriented programming, combining pattern-matching with message mailboxes, resulting in concise, elegant programs. However, it lacks a successful static verification mechanism that ensures safety and determinism of communications with respect to well-defined specifications. We present a session typing system for a featherweight Erlang calculus that encompasses the main communication abilities of the language. In this system, structured types are used to govern the interaction of Erlang processes, ensuring that their behaviour is safe with respect to a defined protocol. The expected properties of subject reduction and type safety are established.
Type de document :
Communication dans un congrès
Wolfgang Meuter; Gruia-Catalin Roman. 13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. Springer, Lecture Notes in Computer Science, LNCS-6721, pp.95-109, 2011, Coordination Models and Languages. 〈10.1007/978-3-642-21464-6_7〉
Liste complète des métadonnées

Littérature citée [11 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01582995
Contributeur : Hal Ifip <>
Soumis le : mercredi 6 septembre 2017 - 14:55:06
Dernière modification le : mercredi 6 septembre 2017 - 15:01:33

Fichier

978-3-642-21464-6_7_Chapter.pd...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Dimitris Mostrous, Vasco Vasconcelos. Session Typing for a Featherweight Erlang. Wolfgang Meuter; Gruia-Catalin Roman. 13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. Springer, Lecture Notes in Computer Science, LNCS-6721, pp.95-109, 2011, Coordination Models and Languages. 〈10.1007/978-3-642-21464-6_7〉. 〈hal-01582995〉

Partager

Métriques

Consultations de la notice

122

Téléchargements de fichiers

29