<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta content="text/html;charset=ISO-8859-1" http-equiv="Content-Type">
<title></title>
</head>
<body bgcolor="#ffffff" text="#000000">
Hi Davide and Raoul,<br>
<br>
Glad to hear that you are interested in McErlang, we want more users
:-)<br>
We will continuing to improve the tool so keep watching, and please
send us suggestions for new features and bug reports.<br>
<br>
By the way, we will be giving a tutorial at the SF Bay Area Erlang
Factory for those of you in the vicinity (see
<a class="moz-txt-link-freetext" href="http://www.erlang-factory.com">http://www.erlang-factory.com</a>).<br>
<br>
Best regards,<br>
Clara <br>
<br>
<br>
<br>
Davide Marquês wrote:
<blockquote
cite="mid:523869a70904022122k479e4979id5b85b1be6c6e088@mail.gmail.com"
type="cite">
<div class="gmail_quote">On Wed, Apr 1, 2009 at 6:49 PM, Raoul Duke <span
dir="ltr"><<a moz-do-not-send="true" href="mailto:raould@gmail.com"
target="_blank">raould@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote"
style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div>> Please take a look at <a moz-do-not-send="true"
href="https://babel.ls.fi.upm.es/trac/McErlang/" target="_blank">https://babel.ls.fi.upm.es/trac/McErlang/</a>
try the<br>
> tool and send us your questions, comments, bug reports, etc.<br>
<br>
</div>
<a moz-do-not-send="true"
href="http://www.cs.chalmers.se/%7Ehanssv/doc/icfp07-McErlang.pdf"
target="_blank">www.cs.chalmers.se/~hanssv/doc/icfp07-McErlang.pdf</a><br>
<br>
very cool! i think concurrency/distribution clearly needs model<br>
checking to develop 'correct' systems (as opposed to ones that 'just'<br>
handle failure dynamically). hope to get some free time (ha ha!) to<br>
try this all out.</blockquote>
<div><br>
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!<br>
Congrats! :)<br>
<br>
>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:<br>
<a moz-do-not-send="true"
href="https://babel.ls.fi.upm.es/trac/McErlang/attachment/wiki/talks/costDec2008.pdf"
target="_blank">https://babel.ls.fi.upm.es/trac/McErlang/attachment/wiki/talks/costDec2008.pdf</a>.<br>
I think this sums it up quite nicely:<br>
<div style="margin-left: 40px;">[McErlang]"An alternative
implementation of Erlang for testing!"<br>
</div>
<br>
(writting this got me hungry...)<br>
<br>
/Davide :)<br>
</div>
</div>
<pre wrap="">
<hr size="4" width="90%">
_______________________________________________
erlang-questions mailing list
<a class="moz-txt-link-abbreviated" href="mailto:erlang-questions@erlang.org">erlang-questions@erlang.org</a>
<a class="moz-txt-link-freetext" href="http://www.erlang.org/mailman/listinfo/erlang-questions">http://www.erlang.org/mailman/listinfo/erlang-questions</a></pre>
</blockquote>
<br>
</body>
</html>