[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: contractual programming
- To: info-dylan@cambridge.apple.com
- Subject: Re: contractual programming
- From: Jeff Dalton <jeff@aiai.edinburgh.ac.uk>
- Date: Tue, 20 Oct 92 17:00:49 BST
- In-reply-to: Scot Dyer's message of Mon, 19 Oct 92 09:34:27 PDT
For those of you who just tuned in, contractual programming is the
attaching of some expression to a class or a method to be used as a
contract.
This sounds similar to the "class invariants" (is that right?)
in Eiffel.
-- jeff