Erlang Workshop 2007: Freiburg, Germany

Simon J. Thompson, Lars-Åke Fredlund (Eds.): Proceedings of the 2007 ACM SIGPLAN Workshop on Erlang, Freiburg, Germany, October 5, 2007. ACM 2007, ISBN 978-1-59593-675-2 BibTeX

Language

Ulf Wiger:
Extended process registry for Erlang. 1-10
Electronic Edition (ACM DL) BibTeX
Miguel Jimenez, Tobias Lindahl, Konstantinos F. Sagonas:
A language for specifying type contracts in Erlang and its interaction with success typings. 11-17
Electronic Edition (ACM DL) BibTeX
László Lövei, Zoltán Horváth, Tamás Kozsik, Roland Király:
Introducing records by refactoring. 18-28
Electronic Edition (ACM DL) BibTeX
Vincenzo Nicosia:
Towards hard real-time Erlang. 29-36
Electronic Edition (ACM DL) BibTeX

Semantics and communication

Hans Svensson, Lars-Åke Fredlund:
Programming distributed Erlang applications: pitfalls and recipes. 37-42
Electronic Edition (ACM DL) BibTeX
Hans Svensson, Lars-Åke Fredlund:
A more accurate semantics for distributed Erlang. 43-54
Electronic Edition (ACM DL) BibTeX
Qiang Guo, John Derrick:
Verification of timed Erlang/OTP components using the process algebra mucrl. 55-64
Electronic Edition (ACM DL) BibTeX
Jan Henry Nystrom:
Priority messaging made easy. 65-72
Electronic Edition (ACM DL) BibTeX

Applications

Oscar Hellström:
Optimising TCP/IP connectivity. 73-84
Electronic Edition (ACM DL) BibTeX
Corrado Santoro:
An Erlang framework for autonomous mobile robots. 85-92
Electronic Edition (ACM DL) BibTeX
Frank Huch:
Learning programming with Erlang. 93-99
Electronic Edition (ACM DL) BibTeX