[erlang-questions] Design by Contract?

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


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.)


More information about the erlang-questions mailing list