Paper Info
Title
Session typing for a featherweight Erlang
Abstract
As software tends to be increasingly concurrent, the paradigm of message passing is becoming more prominent in computing. The language Erlang offers an intuitive and industry-tested implementation 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.
Year
DOI
Venue
2011
10.1007/978-3-642-21464-6_7
COORDINATION
Keywords
Field
DocType
process-oriented programming,type safety,message mailbox,language erlang,expected property,elegant program,industry-tested implementation,main communication ability,featherweight erlang calculus,message passing
Programming language,Determinism,Computer science,Subject reduction,Erlang (programming language),Theoretical computer science,Business Process Execution Language,Software,Type safety,Message passing,Distributed computing
Conference
Volume
ISSN
Citations 
6721
0302-9743
14
PageRank 
References 
Authors
0.69
10
2
Name
Order
Citations
PageRank
Dimitris Mostrous11306.37
Vasco T. Vasconcelos244430.12