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

Testing

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

Language

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

Applications

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

Last update Sat May 18 06:01:03 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page