Erlang Workshop 2006: Portland, Oregon, USA

Marc Feeley, Philip W. Trinder (Eds.): Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang, Portland, Oregon, USA, September 16, 2006. ACM 2006, ISBN 1-59593-490-1 BibTeX

Testing

Richard Carlsson, Mickaël Rémond:
EUnit: a lightweight unit testing framework for Erlang. 1
Electronic Edition (ACM DL) BibTeX
Thomas Arts, John Hughes, Joakim Johansson, Ulf Wiger:
Testing telecoms software with quviq QuickCheck. 2-10
Electronic Edition (ACM DL) BibTeX
Lars-Åke Fredlund, Clara Benac Earle:
Model checking erlang programs: the functional approach. 11-19
Electronic Edition (ACM DL) BibTeX

Language

Guillaume Germain:
Concurrency oriented programming in termite scheme. 20
Electronic Edition (ACM DL) BibTeX
Romain Lenglet, Shigeru Chiba:
Dryverl: a flexible Erlang/C binding compiler. 21-31
Electronic Edition (ACM DL) BibTeX
Jay Nelson:
Concurrent caching. 32-38
Electronic Edition (ACM DL) BibTeX
Chanchal Kumar Roy, Thomas Noll, Banani Roy, James R. Cordy:
Towards automatic verification of Erlang programs by pi-calculus translation. 38-50
Electronic Edition (ACM DL) BibTeX

Applications

Philip W. Trinder:
Comparing C++ and ERLANG for motorola telecoms software. 51
Electronic Edition (ACM DL) BibTeX
Francesco Cesarini, Lukas Larsson, Michal Slaski:
From HTTP to HTML: Erlang/OTP experiences in web based service applications. 52-57
Electronic Edition (ACM DL) BibTeX
Emil Hellman:
Evaluation of database management systems for Erlang. 58-67
Electronic Edition (ACM DL) BibTeX