From: "Hibou57 (Yannick Duchêne)" <yannick_duchene@yahoo.fr>
Subject: Re: Require / ensure clauses
Date: Tue, 21 Oct 2008 12:25:36 -0700 (PDT)
Date: 2008-10-21T12:25:36-07:00 [thread overview]
Message-ID: <226481a2-4cde-4a4c-957b-1b1f079c0642@l76g2000hse.googlegroups.com> (raw)
In-Reply-To: df98761e-f67d-42e9-a86d-cb9c72a56e64@c60g2000hsf.googlegroups.com
Sorry... a mistake one may not read “ are predicate which assert
property on a language or function ” but rather “ are predicates which
assert properties on a procedure or function ” instead
I apology
next prev parent reply other threads:[~2008-10-21 19:25 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-10-21 19:23 Require / ensure clauses Hibou57 (Yannick Duchêne)
2008-10-21 19:25 ` Hibou57 (Yannick Duchêne) [this message]
2008-10-21 23:48 ` Georg Bauhaus
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox