From: TAKAHASHI Masayoshi <maki@...>
Date: 2001-07-12T13:05:24+09:00
Subject: [ruby-talk:17685] Re: Old chestnut: invariants, pre/post conditions	 and so on

Hi,

"Hal E. Fulton" <hal9000@hypermetrics.com> wrote:
> There are a couple of existing DBC implementations...  sorry
> I don't have pointers to them handy.

PragmaticProgrammer's DbC implementation is:
http://www.pragmaticprogrammer.com/ruby/downloads/dbc.html


TAKAHASHI Masayoshi (maki@inac.co.jp)
  ``Whatever else you think about, think about interoperability.
    Don't think about standards yet.'' -- Clay Shirky