Observatorio de I+D+i UPM

Memorias de investigación
Ponencias en congresos:
A unified semantics for future Erlang
Año:2010
Áreas de investigación
  • Ciencias de la computación y tecnología informática
Datos
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
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Lars-Ake Fredlund (UPM)
  • Participante: Hans Svennson (Department of Computer Science and Engineering, Chalmers University of Technology, G¿oteborg, Sweden)
  • Autor: Clara Benac Earle (UPM)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnología Declarativa
S2i 2021 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)