From: Robert Dewar <robert_dewar@my-dejanews.com>
Subject: Re: Assertions
Date: 1999/05/21
Date: 1999-05-21T00:00:00+00:00 [thread overview]
Message-ID: <7i2f8a$uki$1@nnrp1.deja.com> (raw)
In-Reply-To: Pine.A41.3.96-heb-2.07.990520114314.161678A-100000@pluto.mscc.huji.ac.il
In article
<Pine.A41.3.96-heb-2.07.990520114314.161678A-100000@pluto.mscc.h
uji.ac.il>,
Ehud Lamm <mslamm@mscc.huji.ac.il> wrote:
> Are there any documents about this design issue? I am very
> much interested in DBC ("design by contract"), which I think
> is one of the nicest ideas in
> SE. So why did Ada95 dismiss it?
DBC is a methodology, which of course you can adopt in any
language, and indeed Ada is quite well suited for this purpose.
The issue of whether specific language features should be
designed into the language to support DBC is a different
one. It is of COURSE not the case that all elements of a
DBC approach can be captured by Eiffel assert statements
(as soon as you constrain the syntax and semantics of such
assertions, you limit their applicability).
Obviously some level of support for design contracts seems
like a good idea. FOr example, an Ada package spec is exactly
an interface contract.
Are assertions a la Eiffel the right form?
Not clear the answer is yes.
There are MANY other similar constructions and a lot of
design room here.
But to think that Ada dismissed DBC just because it did not
adopt the particular partial assertion language facilities
of Eiffel misses the point I think.
--== Sent via Deja.com http://www.deja.com/ ==--
---Share what you know. Learn what you don't.---
next prev parent reply other threads:[~1999-05-21 0:00 UTC|newest]
Thread overview: 35+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-05-10 0:00 Assertions J & A Richardson
1999-05-10 0:00 ` Assertions Marin David Condic
1999-05-11 0:00 ` Assertions Robert Dewar
1999-05-11 0:00 ` Assertions Nick Roberts
1999-05-11 0:00 ` Assertions Robert Dewar
1999-05-12 0:00 ` Assertions Dale Stanbrough
1999-05-12 0:00 ` Assertions Robert Dewar
1999-05-12 0:00 ` Assertions Tucker Taft
1999-05-12 0:00 ` Assertions Larry Kilgallen
1999-05-12 0:00 ` Assertions Tucker Taft
1999-05-13 0:00 ` Assertions Nick Roberts
1999-05-17 0:00 ` Assertions Dale Stanbrough
1999-05-19 0:00 ` Assertions Nick Roberts
1999-05-22 0:00 ` Assertions Dale Stanbrough
1999-05-22 0:00 ` Assertions Robert Dewar
1999-05-22 0:00 ` Assertions Ray Blaak
1999-05-22 0:00 ` Assertions Robert Dewar
1999-05-23 0:00 ` Assertions Nick Roberts
1999-05-24 0:00 ` Assertions Dale Stanbrough
1999-05-24 0:00 ` Assertions Ray Blaak
1999-05-23 0:00 ` Assertions Nick Roberts
1999-05-12 0:00 ` Assertions Marin David Condic
1999-05-18 0:00 ` Assertions Richard D Riehle
1999-05-19 0:00 ` Assertions Nick Roberts
1999-05-19 0:00 ` Assertions Richard D Riehle
1999-05-20 0:00 ` Assertions stimuli
1999-05-21 0:00 ` Assertions Richard D Riehle
1999-05-21 0:00 ` Assertions Robert Dewar
1999-05-20 0:00 ` Assertions Ehud Lamm
1999-05-21 0:00 ` Robert Dewar [this message]
1999-05-21 0:00 ` Assertions Ehud Lamm
1999-05-21 0:00 ` Assertions Tucker Taft
1999-05-20 0:00 ` Assertions stimuli
1999-05-12 0:00 ` Assertions Peter Amey
1999-05-12 0:00 ` Assertions Robert Dewar
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox