[erlang-questions] Design by Contract?

Raoul Duke <>
Tue Jun 5 01:25:33 CEST 2007


hello,

Just wondering what the way to do some kind of DbC or Modeling would
be in the Erlang world. There's basic pre/post condition type stuff,
but things like Eiffel, JML, Z(ed) have more to boot. Thanks for any
pointers. (I haven't turned up much via googling.)

sincerely.



More information about the erlang-questions mailing list