[erlang-questions] "Design By Contract" in Erlang

Zabrane Mickael zabrane3@REDACTED
Thu Jan 12 03:12:23 CET 2012


Thanks Steve. But UBF is for protocol validation between Erlang and foreign languages.

But to simply check pre-conditions, post-conditions aroudn functions ... may be something simple exists!!!

Regards,
Zabrane

On Jan 12, 2012, at 1:39 AM, Steve Davis wrote:

> If you've not seen it already, Joe Armstrong's UBF is worth studying:
> 
> http://www.sics.se/~joe/ubf/site/home.html
> 
> 
> On Jan 11, 3:19 pm, Zabrane Mickael <zabra...@REDACTED> wrote:
>> Hi guys,
>> 
>> Any Erlang library to simply DbC (à la Eiffel)?
>> 
>> Regards,
>> Zabrane
>> 
>> _______________________________________________
>> erlang-questions mailing list
>> erlang-questi...@REDACTED://erlang.org/mailman/listinfo/erlang-questions
> _______________________________________________
> erlang-questions mailing list
> erlang-questions@REDACTED
> http://erlang.org/mailman/listinfo/erlang-questions




More information about the erlang-questions mailing list