Descripción
|
|
---|---|
The formal semantics of Erlang is a bit too complicated to be easily understandable. Much of this complication stems from the desire to accurately model the current implementations (Erlang/OTP R11R14), which include features (and optimizations) developed during more than two decades. The result is a two-tier semantics where systems, and in particular messages, behave differently in a local and a distributed setting. With the introduction of multi-core hardware, multiple run-queues and efficient SMP support, the boundary between local and distributed is diffuse and should ultimately be removed. In this paper we develop a new, much cleaner semantics, for such future implementations of Erlang. We hope that this paper can stimulate some much needed debate regarding a number of poorly understood features of current and future implementations of Erlang. | |
Internacional
|
Si |
Nombre congreso
|
9th ACM SIGPLAN workshop on Erlang |
Tipo de participación
|
960 |
Lugar del congreso
|
Baltimore, Maryland, USA |
Revisores
|
Si |
ISBN o ISSN
|
978-1-4503-0253-1 |
DOI
|
|
Fecha inicio congreso
|
30/09/2010 |
Fecha fin congreso
|
30/09/2010 |
Desde la página
|
23 |
Hasta la página
|
32 |
Título de las actas
|
Erlang '10: Proceedings of the 9th ACM SIGPLAN workshop on Erlang |