[erlang-questions] McErlang first public release

Clara Benac Earle cbenac@REDACTED
Tue Apr 14 12:10:48 CEST 2009

Hi Davide and Raoul,

Glad to hear that you are interested in McErlang, we want more users  :-)
We will continuing to improve the tool so keep watching, and please send 
us suggestions for new features and bug reports.

By the way, we will be giving a tutorial at the SF Bay Area Erlang 
Factory for those of you in the vicinity (see 

Best regards,

Davide Marquês wrote:
> On Wed, Apr 1, 2009 at 6:49 PM, Raoul Duke <raould@REDACTED 
> <mailto:raould@REDACTED>> wrote:
>     > Please take a look at https://babel.ls.fi.upm.es/trac/McErlang/
>      try the
>     > tool and send us your questions, comments, bug reports, etc.
>     www.cs.chalmers.se/~hanssv/doc/icfp07-McErlang.pdf
>     <http://www.cs.chalmers.se/%7Ehanssv/doc/icfp07-McErlang.pdf>
>     very cool! i think concurrency/distribution clearly needs model
>     checking to develop 'correct' systems (as opposed to ones that 'just'
>     handle failure dynamically). hope to get some free time (ha ha!) to
>     try this all out.
> I just read the tutorials and presentations on the site and I *have* 
> to say I really admire the work you've done with McErlang!
> Congrats! :)
> From what I can tell, the best way to get an overview of McErlang 
> (without wasting too much of that ethereal free time :)) is this 
> presentation:
> https://babel.ls.fi.upm.es/trac/McErlang/attachment/wiki/talks/costDec2008.pdf.
> I think this sums it up quite nicely:
> [McErlang]"An alternative implementation of Erlang for testing!"
> (writting this got me hungry...)
> /Davide :)
> ------------------------------------------------------------------------
> _______________________________________________
> erlang-questions mailing list
> erlang-questions@REDACTED
> http://www.erlang.org/mailman/listinfo/erlang-questions

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20090414/c288233c/attachment.htm>

More information about the erlang-questions mailing list