----- Original Message -----
From: Hugh Sasse Staff Elec Eng <hgs / dmu.ac.uk>
To: ruby-talk ML <ruby-talk / ruby-lang.org>; <ruby-talk / netlab.co.jp>
Sent: Wednesday, July 11, 2001 10:09 AM
Subject: [ruby-talk:17656] Old chestnut: invariants, pre/post conditions and
so on

[snip snip snip]

My take on it is this: I think DBC is nontrivial to implement in
*any* language, but is probably easier in a dynamic one.

There are a couple of existing DBC implementations...  sorry
I don't have pointers to them handy.

Just look around. Search RAA and if they're not both there,
search the mailing list.

Hal