[erlang-questions] Teaching Erlang as part of a paper -- advice sought

Ulf Wiger ulf.wiger@REDACTED
Wed Feb 10 09:02:46 CET 2010


Ulf Wiger wrote:
>
> On the topic of the process registry, there is also some recent
> QuickCheck work that might be of interest.
> 
> Claessen, K., Palka, M., Smallbone, N., Hughes, J., Svensson, H., Arts, 
> T., and Wiger, U. 2009. Finding race conditions in Erlang with 
> QuickCheck and PULSE. SIGPLAN Not. 44, 9 (Aug. 2009), 149-160. DOI= 
> http://doi.acm.org/10.1145/1631687.1596574

For those of you who don't have an ACM account,
I should have mentioned that this paper is available for
download from the ProTest publications page:

http://www.protest-project.eu/publications.html

Specifically:

http://www.protest-project.eu/upload/paper/icfp070-claessen.pdf

BR,
Ulf W
-- 
Ulf Wiger
CTO, Erlang Solutions Ltd, formerly Erlang Training & Consulting Ltd
http://www.erlang-solutions.com
---------------------------------------------------

---------------------------------------------------

WE'VE CHANGED NAMES!

Since January 1st 2010 Erlang Training and Consulting Ltd. has become ERLANG SOLUTIONS LTD.

www.erlang-solutions.com



More information about the erlang-questions mailing list