Erlang Workshop 2009: Edinburgh, Scotland, UK

Clara Benac Earle, Simon J. Thompson (Eds.): Proceedings of the 8th ACM SIGPLAN Workshop on Erlang, Edinburgh, Scotland, UK, September 5, 2009. ACM 2009, ISBN 978-1-60558-507-9

Software engineering for Erlang

Thanassis Avgerinos, Konstantinos F. Sagonas:
Cleaning up Erlang code is a dirty job but somebody's gotta do it. 1-10
László Lövei:
Automated module interface upgrade. 11-22
Jan Henry Nyström:
Automatic assessment of failure recovery in Erlang applications. 23-32

Teaching Erlang and OO extensions

Sten Grüner, Thomas Lorentsen:
Teaching Erlang using robotics and player/stage. 33-40
Hugo Cortés, Mónica García, Jorge Hernández, Manuel Hernández, Esperanza Pérez-Cordoba, Erik Ramos:
Development of a distributed system applied to teaching and learning. 41-50
Gábor Fehér, András G. Békés:
ECT: an object-oriented extension to Erlang. 51-62

Testing and model checking

Hans Svensson:
Implementing an LTL-to-Büchi translator in Erlang: a protest experience report. 63-70
Nicolae Paladi, Thomas Arts:
Model based testing of data constraints: testing the business logic of a Mnesia application with Quviq QuickCheck. 71-82
Javier Paris, Thomas Arts:
Automatic testing of TCP/IP implementations using QuickCheck. 83-92
Clara Benac Earle, Lars-Åke Fredlund:
Recent improvements to the McErlang model checker. 93-100