From: "Hal E. Fulton" <hal9000@...>
Date: 2001-07-12T10:24:35+09:00
Subject: [ruby-talk:17682] Re: Old chestnut: invariants, pre/post conditions and so on

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