Session Typing for a Featherweight Erlang - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2011

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.
Fichier principal
Vignette du fichier
978-3-642-21464-6_7_Chapter.pdf (370.09 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01582995 , version 1 (06-09-2017)

Licence

Attribution

Identifiers

Cite

Dimitris Mostrous, Vasco T. Vasconcelos. Session Typing for a Featherweight Erlang. 13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.95-109, ⟨10.1007/978-3-642-21464-6_7⟩. ⟨hal-01582995⟩
106 View
153 Download

Altmetric

Share

Gmail Facebook X LinkedIn More