Proceedings of the 8th ACM SIGPLAN Workshop on Erlang, Edinburgh, Scotland, UK, September 5, 2009 - researchr publication

researchr

You are not signed in
Sign in
Sign up

Clara Benac Earle, Simon J. Thompson, editors, Proceedings of the 8th ACM SIGPLAN Workshop on Erlang, Edinburgh, Scotland, UK, September 5, 2009. ACM, 2009.

Conference: erlang2009

Abstract is missing.

Cleaning up Erlang code is a dirty job but somebody s gotta do itThanassis Avgerinos, Konstantinos F. Sagonas. 1-10 [doi]

Automated module interface upgradeLÃ¡szlÃ³ LÃ¶vei. 11-22 [doi]

Automatic assessment of failure recovery in Erlang applicationsJan Henry NystrÃ¶m. 23-32 [doi]

Teaching Erlang using robotics and player/stageSten Grüner, Thomas Lorentsen. 33-40 [doi]

Development of a distributed system applied to teaching and learningHugo CortÃ©s, MÃ³nica GarcÃa, Jorge HernÃ¡ndez, Manuel HernÃ¡ndez, Esperanza PÃ©rez-Cordoba, Erik Ramos. 41-50 [doi]

ECT: an object-oriented extension to ErlangGÃ¡bor FehÃ©r, AndrÃ¡s G. BÃ©kÃ©s. 51-62 [doi]

Implementing an LTL-to-BÃ¼chi translator in Erlang: a protest experience reportHans Svensson. 63-70 [doi]

Model based testing of data constraints: testing the business logic of a Mnesia application with Quviq QuickCheckNicolae Paladi, Thomas Arts. 71-82 [doi]

Automatic testing of TCP/IP implementations using QuickCheckJavier Paris, Thomas Arts. 83-92 [doi]

Recent improvements to the McErlang model checkerClara Benac Earle, Lars-Ã…ke Fredlund. 93-100 [doi]

runs on WebDSL