comp.lang.ada
 help / color / mirror / Atom feed
From: jsa@alexandria.organon.com (Jon S Anthony)
Subject: Re: Separation of IF and Imp: process issue?
Date: 1997/09/08
Date: 1997-09-08T00:00:00+00:00	[thread overview]
Message-ID: <JSA.97Sep8150207@alexandria.organon.com> (raw)
In-Reply-To: EG4Mry.L2C@ecf.toronto.edu



In article <EG4Mry.L2C@ecf.toronto.edu> doylep@ecf.toronto.edu (Patrick Doyle) writes:

> >OK, maybe the problem is I really don't know what you mean by
> >"interface file".  For a spec. the answer is false.  You can't derive
> >from it (though you can extend it in "arbitrary" ways via children)
> >and there's no inheritance.
> 
> What's the difference between extending a spec with children, and
> deriving a subclass from an abstract class?

This is pretty interesting.  I'm a little startled that this isn't
just "obvious".

When you dervive a class C from a class P (abstract or otherwise), you
are setting up a semantic relationship between P and C, where C
inherits the properties of P.  What is more, you can (if C or P are
concrete) have instances of P and C.  Neither of these has any meaning
in the context of package P and child P.C.  P.C does not inherit
anything from P (it has _visibility_ into P, including private section
visibility in it's private section).  Neither P nor P.C define a
runtime entity and in no case can you create instances of P or P.C The
bodies of either are simply the implementations of the interface(s)
bundled in either (the impls of operations or the types and methods on
those types defined in them).  This strikes me as completely different
from the subclassing.  Maybe a good question to ask is, why do you
think they are similar?

> >> Abstract base classes can accomplish this also, through multiple
> >> inheritance.
> >
> >The point is, the things are directly related via subclassing and
> >inheritance while this is not true for specs.
> 
> As I see it, the body must have all the properties of the spec,
> and perhaps more.  Ada does not use the term "inheritance" for this,
> but I think it's valid for Eiffel to do so.  Don't you?  If not,
> what is it about inheritance which fails to properly model the
> spec-implementation relationship?

Why do you think the bodies have all the properties of the spec?  I'm
not even sure what this would mean.  What's more it should be clear
that they don't: for example, nothing has any visibility into bodies.

Ada does not use "inheritance" in either the context of spec<->body
relationship or parent_spec<->child_spec relationship because to do so
would be extremely misleading (at best) given the typical
understanding of that term in programming language design and software
construction.

Also, wrt the relationship between bodies and specs. Eiffel does not
use this term either (that's what the "short form" is about - not
inheritance).  The notion of "implementation" in the sense of concrete
class C derived from abstract/deferred class P "implementing P" is a
different thing altogether.

/Jon
-- 
Jon Anthony
OMI, Belmont, MA 02178, 617.484.3383 
"Nightmares - Ha!  The way my life's been going lately,
 Who'd notice?"  -- Londo Mollari




  reply	other threads:[~1997-09-08  0:00 UTC|newest]

Thread overview: 562+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
     [not found] <33957A33.1C31AB44@oma.com>
     [not found] ` <865898351snz@nezumi.demon.co.uk>
     [not found]   ` <339ED54C.215A5F85@oma.com>
     [not found]     ` <5noc8u$a8m$3@miranda.gmrc.gecm.com>
     [not found]       ` <33A032AC.2D8BA85C@oma.com>
     [not found]         ` <5nrn86$cvo$3@miranda.gmrc.gecm.com>
     [not found]           ` <33A1CBBB.B0602EC@oma.com>
     [not found]             ` <5o2uls$ku3$2@miranda.gmrc.gecm.com>
     [not found]               ` <33A6ADDA.2099EEB9@oma.com>
     [not found]                 ` <EBxM3y.8Eo@i2.COM>
     [not found]                   ` <33A7D2DE.545B@polaroid.com>
     [not found]                     ` <JSA.97Jun18155730@alexandria.organon.com>
1997-06-19  0:00                       ` Is ADA as good for graphics programming as C? (WAS: Re: Avoiding the second historic mistake) Mukesh Prasad
1997-06-19  0:00                         ` Steve Jones - JON
1997-06-19  0:00                           ` Mukesh Prasad
1997-06-19  0:00                         ` Is Ada " Jon S Anthony
1997-06-20  0:00                         ` Is ADA " Robert Dewar
1997-06-22  0:00                           ` Is ADA as good for graphics programming as C? (WAS: Jerry van Dijk
1997-06-21  0:00                         ` Is ADA as good for graphics programming as C? (WAS: Re: Avoiding the second historic mistake) Tim Harrison
1997-06-23  0:00                           ` Kaz Kylheku
1997-06-24  0:00                           ` John Goodsen
1997-06-25  0:00                             ` Michael Levasseur
1997-06-26  0:00                               ` Chris Brand
1997-07-02  0:00                               ` Matthew Heaney
1997-07-03  0:00                                 ` Donovan Baarda
1997-07-04  0:00                                   ` Matthew Heaney
1997-07-04  0:00                                     ` Donovan Baarda
1997-07-04  0:00                                       ` Brian Rogoff
1997-07-07  0:00                                         ` Donovan Baarda
1997-07-08  0:00                                           ` Brian Rogoff
1997-07-08  0:00                                           ` Joachim Durchholz
1997-07-09  0:00                                           ` Don Harrison
1997-07-05  0:00                                       ` John Nagle
1997-07-05  0:00                                       ` Jon S Anthony
1997-07-07  0:00                                         ` Donovan Baarda
1997-07-08  0:00                                           ` Canada Bass
1997-07-08  0:00                                             ` Dale Pontius
1997-07-08  0:00                                             ` Martin Tom Brown
1997-07-09  0:00                                           ` Matthew Heaney
1997-07-10  0:00                                             ` Nick Leaton
1997-07-10  0:00                                               ` Matthew Heaney
1997-07-11  0:00                                                 ` Nick Leaton
1997-07-14  0:00                                                 ` Don Harrison
1997-07-15  0:00                                                   ` Jon S Anthony
1997-07-15  0:00                                                     ` Don Harrison
1997-07-15  0:00                                                       ` Jon S Anthony
1997-07-15  0:00                                                   ` Matthew Heaney
1997-07-15  0:00                                                     ` Brian Rogoff
1997-07-16  0:00                                                     ` Don Harrison
1997-07-17  0:00                                                       ` Matthew Heaney
1997-07-18  0:00                                                         ` Composition vs. Inheritance (was Re: Is ADA as good for graphics programming as C?) Robert I. Eachus
1997-07-19  0:00                                                         ` Is ADA as good for graphics programming as C? (WAS: Re: Avoiding the second historic mistake) Nasser
1997-07-20  0:00                                                           ` Brian Rogoff
1997-07-21  0:00                                                             ` Andrew Dunstan
1997-07-21  0:00                                                             ` Jon S Anthony
1997-07-21  0:00                                                           ` Jon S Anthony
     [not found]                                                         ` <01bc94e1$46912100$53aa20cc@default>
1997-07-20  0:00                                                           ` Is ADA as good for graphics programming as C? Matthew Heaney
1997-07-21  0:00                                                             ` Dennis Weldy
1997-07-21  0:00                                                           ` Jon S Anthony
1997-07-21  0:00                                                         ` Is ADA as good for graphics programming as C? (WAS: Re: Avoiding the second historic mistake) Robert C. Martin
1997-07-22  0:00                                                         ` Relative complexity - Eiffel and Ada Don Harrison
1997-07-15  0:00                                               ` Is ADA as good for graphics programming as C? (WAS: Re: Avoiding the second historic mistake) Robert I. Eachus
1997-07-09  0:00                                       ` Don Harrison
1997-07-09  0:00                                         ` Tucker Taft
1997-07-10  0:00                                           ` Safety-critical development in Ada and Eiffel Don Harrison
1997-07-10  0:00                                             ` Mike Stark
1997-07-11  0:00                                               ` Donovan Baarda
1997-07-13  0:00                                                 ` Steve Furlong
1997-07-16  0:00                                                   ` Joachim Durchholz
1997-07-17  0:00                                                     ` Ken Garlington
1997-07-17  0:00                                                     ` Robert Dewar
1997-07-18  0:00                                                     ` John Nagle
1997-07-18  0:00                                                       ` Jon S Anthony
1997-07-18  0:00                                                     ` Jon S Anthony
1997-07-18  0:00                                                       ` Nick Leaton
1997-07-18  0:00                                                         ` Jon S Anthony
1997-07-10  0:00                                             ` Ken Garlington
1997-07-11  0:00                                               ` Ted Velkoff
1997-07-12  0:00                                                 ` Ken Garlington
1997-07-13  0:00                                                   ` Jon S Anthony
1997-07-14  0:00                                                     ` Wes Groleau
1997-07-15  0:00                                                       ` Jon S Anthony
1997-07-15  0:00                                                     ` Don Harrison
1997-07-15  0:00                                                       ` Ken Garlington
1997-07-16  0:00                                                     ` Paul Johnson
1997-07-16  0:00                                                       ` Ken Garlington
1997-07-17  0:00                                                         ` Paul Johnson
1997-07-17  0:00                                                           ` Ken Garlington
1997-07-18  0:00                                                             ` Paul Johnson
1997-07-18  0:00                                                               ` Ken Garlington
1997-07-21  0:00                                                                 ` Paul Johnson
1997-07-18  0:00                                                               ` Jon S Anthony
1997-07-17  0:00                                                       ` Jon S Anthony
     [not found]                                                         ` <EDHqKo.K52@world.std.com>
1997-07-18  0:00                                                           ` Jon S Anthony
1997-07-19  0:00                                                             ` Robert A Duff
1997-07-20  0:00                                                               ` Tucker Taft
1997-07-10  0:00                                             ` Joe Gwinn
1997-07-11  0:00                                               ` Robert S. White
1997-07-15  0:00                                                 ` Don Harrison
1997-07-15  0:00                                                   ` Ken Garlington
1997-07-16  0:00                                                     ` Don Harrison
1997-07-11  0:00                                             ` Don Harrison
1997-07-11  0:00                                             ` Don Harrison
1997-07-11  0:00                                               ` James Graves
1997-07-14  0:00                                                 ` Don Harrison
1997-07-12  0:00                                               ` Ken Garlington
1997-07-15  0:00                                                 ` Don Harrison
1997-07-15  0:00                                                   ` Ken Garlington
1997-07-16  0:00                                                     ` Jean-Marc Jezequel
1997-07-16  0:00                                                       ` Ken Garlington
1997-07-17  0:00                                                         ` "Paul E. Bennett"
1997-07-17  0:00                                                           ` Robert Dewar
1997-07-17  0:00                                                         ` The stupidity of all the Ariane 5 analysts Thaddeus L. Olczyk
     [not found]                                                           ` <33CEAF05.6389@flash.net>
1997-07-20  0:00                                                             ` Bertrand Meyer
1997-07-21  0:00                                                               ` Ian Begg
1997-07-21  0:00                                                                 ` Usefullness of design-by-contract (was Re: The stupidity of all the Ariane 5 analysts.) Jim Cochrane
1997-07-22  0:00                                                                   ` Jon S Anthony
1997-07-22  0:00                                                                   ` Ken Garlington
1997-07-21  0:00                                                               ` The stupidity of all the Ariane 5 analysts Robert S. White
1997-07-21  0:00                                                                 ` Ken Garlington
1997-07-23  0:00                                                                   ` Robert S. White
1997-07-23  0:00                                                                     ` Robert Dewar
1997-07-24  0:00                                                                       ` Ken Garlington
1997-07-29  0:00                                                                       ` Shmuel (Seymour J.) Metz
1997-07-31  0:00                                                                         ` Warts was " Richard Irvine
1997-07-31  0:00                                                                           ` Robert Dewar
1997-08-05  0:00                                                                           ` Shmuel (Seymour J.) Metz
     [not found]                                                                             ` <5scqlr$ju@news.sei.cmu.edu>
1997-08-07  0:00                                                                               ` Brian Rogoff
1997-08-08  0:00                                                                                 ` Jon S Anthony
1997-08-08  0:00                                                                                   ` Brian Rogoff
1997-08-10  0:00                                                                                 ` Matthew Heaney
1997-08-10  0:00                                                                                   ` Brian Rogoff
1997-08-19  0:00                                                                                     ` Shmuel (Seymour J.) Metz
     [not found]                                                                               ` <Pine.SGI.3.95.970807191944.13419A-100000@shellx <JSA.97Aug8161709@alexandria.organon.com>
1997-08-08  0:00                                                                                 ` Robert A Duff
1997-08-11  0:00                                                                                   ` Jon S Anthony
1997-07-31  0:00                                                                         ` Robert Dewar
1997-08-01  0:00                                                                           ` Shmuel (Seymour J.) Metz
1997-08-04  0:00                                                                           ` Larry Kilgallen
1997-08-08  0:00                                                                         ` Don Harrison
1997-08-11  0:00                                                                           ` Shmuel (Seymour J.) Metz
1997-07-23  0:00                                                                     ` Ken Garlington
1997-07-25  0:00                                                                       ` Robert S. White
1997-07-25  0:00                                                                     ` Ariane 5,Eiffel, Ada Alan Brain
1997-07-21  0:00                                                                 ` The stupidity of all the Ariane 5 analysts Robert Dewar
1997-07-21  0:00                                                                   ` The presuppositions " Samuel Mize
1997-07-21  0:00                                                                     ` Ken Garlington
1997-07-22  0:00                                                                     ` Luther Hampton
1997-07-23  0:00                                                                       ` Samuel Mize
1997-07-23  0:00                                                                       ` Ken Garlington
1997-07-22  0:00                                                                 ` The stupidity " W. Wesley Groleau x4923
1997-07-21  0:00                                                               ` Ken Garlington
1997-07-31  0:00                                                                 ` Al Christians
1997-08-01  0:00                                                                   ` "Paul E. Bennett"
1997-08-01  0:00                                                                     ` Ken Garlington
1997-07-23  0:00                                                               ` Joerg Rodemann
1997-07-18  0:00                                                         ` Safety-critical development in Ada and Eiffel - Ariane crash Joachim Durchholz
1997-07-18  0:00                                                           ` Ken Garlington
1997-07-17  0:00                                                     ` Safety-critical development in Ada and Eiffel Joachim Durchholz
1997-07-19  0:00                                                       ` Ken Garlington
1997-07-21  0:00                                                         ` Ada vs Eiffel (was: Safety-critical development in ...) W. Wesley Groleau x4923
1997-07-22  0:00                                                           ` Matt Kennel (Remove 'NOSPAM' to reply)
1997-07-21  0:00                                                       ` Safety-critical development in Ada and Eiffel Robert S. White
1997-07-20  0:00                                                         ` nabbasi
1997-07-21  0:00                                                           ` W. Wesley Groleau x4923
1997-07-18  0:00                                                     ` Don Harrison
1997-07-18  0:00                                                       ` Ken Garlington
1997-07-22  0:00                                                         ` Don Harrison
1997-07-21  0:00                                                           ` Ken Garlington
1997-07-23  0:00                                                             ` Don Harrison
1997-07-23  0:00                                                               ` W. Wesley Groleau x4923
1997-07-24  0:00                                                                 ` Don Harrison
1997-07-24  0:00                                                                   ` Ken Garlington
1997-07-26  0:00                                                                     ` Joachim Durchholz
1997-07-31  0:00                                                                       ` Ken Garlington
1997-07-28  0:00                                                                     ` Nick Leaton
1997-07-28  0:00                                                                       ` Steve Jones - JON
1997-07-31  0:00                                                                       ` Ken Garlington
1997-07-29  0:00                                                                     ` Don Harrison
1997-07-31  0:00                                                                       ` Ken Garlington
1997-08-07  0:00                                                                         ` Don Harrison
1997-08-07  0:00                                                                           ` Ken Garlington
1997-08-09  0:00                                                                             ` Jim Cochrane
1997-08-11  0:00                                                                               ` Paul Johnson
1997-08-11  0:00                                                                                 ` Ken Garlington
1997-08-12  0:00                                                                                   ` Mark A Biggar
1997-08-19  0:00                                                                                     ` Robert Dewar
1997-08-19  0:00                                                                                       ` Bertrand Meyer
1997-08-19  0:00                                                                                         ` Robert Dewar
1997-08-20  0:00                                                                                           ` Nick Leaton
1997-08-21  0:00                                                                                             ` Jon S Anthony
1997-08-22  0:00                                                                                               ` Nick Leaton
1997-08-21  0:00                                                                                             ` Joachim Durchholz
1997-08-20  0:00                                                                                           ` Lee Webber
1997-08-21  0:00                                                                                             ` Don Harrison
1997-08-23  0:00                                                                                               ` Ken Garlington
1997-08-19  0:00                                                                                       ` Nick Leaton
1997-08-20  0:00                                                                                       ` Ken Garlington
1997-08-26  0:00                                                                                       ` Richard A. O'Keefe
1997-08-13  0:00                                                                                   ` Paul Johnson
1997-08-13  0:00                                                                                     ` Ken Garlington
1997-08-15  0:00                                                                                       ` Paul Johnson
1997-08-15  0:00                                                                                         ` Ken Garlington
1997-08-18  0:00                                                                                           ` Joachim Durchholz
1997-08-19  0:00                                                                                             ` Ken Garlington
1997-08-20  0:00                                                                                               ` Nick Leaton
1997-08-20  0:00                                                                                                 ` Nasser
1997-08-21  0:00                                                                                                 ` Jon S Anthony
1997-08-22  0:00                                                                                                   ` Nick Leaton
1997-08-23  0:00                                                                                                     ` Ken Garlington
1997-08-21  0:00                                                                                               ` Joachim Durchholz
1997-08-23  0:00                                                                                                 ` Ken Garlington
1997-08-12  0:00                                                                             ` Don Harrison
1997-08-12  0:00                                                                               ` Ken Garlington
1997-08-12  0:00                                                                               ` Jon S Anthony
1997-08-13  0:00                                                                                 ` Ted Velkoff
1997-08-13  0:00                                                                                   ` Jon S Anthony
1997-08-13  0:00                                                                                   ` Ken Garlington
1997-08-13  0:00                                                                                     ` Ted Velkoff
1997-08-14  0:00                                                                                       ` Matt Austern
1997-08-14  0:00                                                                                         ` Ted Velkoff
1997-08-18  0:00                                                                                           ` Matt Austern
1997-08-20  0:00                                                                                             ` Joachim Durchholz
1997-08-21  0:00                                                                                               ` Jon S Anthony
1997-08-22  0:00                                                                                                 ` Joachim Durchholz
1997-08-15  0:00                                                                                       ` Ken Garlington
1997-08-16  0:00                                                                                         ` Ted Velkoff
1997-08-16  0:00                                                                                           ` Ken Garlington
1997-08-16  0:00                                                                                             ` Jon S Anthony
1997-08-16  0:00                                                                                               ` Ken Garlington
1997-08-18  0:00                                                                                               ` Ted Velkoff
1997-08-18  0:00                                                                                             ` Ted Velkoff
1997-08-19  0:00                                                                                               ` Ken Garlington
1997-08-14  0:00                                                                                     ` Nick Leaton
1997-08-16  0:00                                                                                       ` Robert Dewar
1997-08-18  0:00                                                                                       ` Joachim Durchholz
1997-08-19  0:00                                                                                         ` Ken Garlington
1997-08-21  0:00                                                                                           ` Joachim Durchholz
1997-08-23  0:00                                                                                             ` Ken Garlington
     [not found]                                                                                               ` <JSA.97Aug25181856@alexandria.organon.com>
     [not found]                                                                                                 ` <34023A1F.41C67EA6@eiffel.com>
1997-08-25  0:00                                                                                                   ` Design by Contract Bertrand Meyer
1997-08-25  0:00                                                                                                   ` Bertrand Meyer
     [not found]                                                                                                     ` <3402d123.0@news.uni-ulm.de>
1997-08-26  0:00                                                                                                       ` Nick Leaton
     [not found]                                                                                                         ` <3402e51d.0@news.uni-ulm.de>
     [not found]                                                                                                           ` <3402E8C9.3384D976@calfp.co.uk>
     [not found]                                                                                                             ` <dewar.872631036@merv>
1997-08-27  0:00                                                                                                               ` Matt Kennel (Remove 'NOSPAM' to reply)
     [not found]                                                                                                               ` <3403F668.F6B57D97@calfp.co.uk>
     [not found]                                                                                                                 ` <34041331.0@news.uni-ulm.de>
     [not found]                                                                                                                   ` <3404696D.4487EB71@eiffel.com>
1997-08-27  0:00                                                                                                                     ` Interface/Implementation (was Re: Design by Contract) Bertrand Meyer
     [not found]                                                                                                                       ` <34048FDC.13728473@eiffel.com>
1997-08-27  0:00                                                                                                                         ` Bertrand Meyer
1997-08-28  0:00                                                                                                                           ` Patrick Doyle
1997-08-28  0:00                                                                                                                             ` W. Wesley Groleau x4923
1997-08-28  0:00                                                                                                                           ` Jon S Anthony
1997-08-29  0:00                                                                                                                             ` Robert Dewar
     [not found]                                                                                                                             ` <EForsv.Fqo@ecf.toronto.edu>
     [not found]                                                                                                                               ` <JSA.97Aug29191413@alexandria.organon.com>
     [not found]                                                                                                                                 ` <EFqDAG.2zn@ecf.toronto.edu>
1997-08-30  0:00                                                                                                                                   ` Jon S Anthony
1997-09-02  0:00                                                                                                                                   ` Don Harrison
1997-09-02  0:00                                                                                                                                     ` Jon S Anthony
1997-09-03  0:00                                                                                                                                       ` Don Harrison
     [not found]                                                                                                                                     ` <EFwuzD.BxE@ecf.toronto.edu>
1997-09-04  0:00                                                                                                                                       ` Don Harrison
1997-09-05  0:00                                                                                                                                         ` Patrick Doyle
1997-09-09  0:00                                                                                                                                           ` Don Harrison
1997-09-09  0:00                                                                                                                                             ` W. Wesley Groleau x4923
1997-09-10  0:00                                                                                                                                               ` Veli-Pekka Nousiainen
1997-09-10  0:00                                                                                                                                                 ` Samuel Mize
1997-09-12  0:00                                                                                                                                               ` Don Harrison
1997-09-10  0:00                                                                                                                                             ` Patrick Doyle
1997-09-10  0:00                                                                                                                                               ` Joerg Rodemann
1997-09-10  0:00                                                                                                                                                 ` Patrick Doyle
1997-09-11  0:00                                                                                                                                                   ` Matt Austern
1997-09-12  0:00                                                                                                                                                     ` Jon S Anthony
1997-09-13  0:00                                                                                                                                                     ` Patrick Doyle
1997-09-10  0:00                                                                                                                                                 ` Joachim Durchholz
1997-09-12  0:00                                                                                                                                                   ` Joerg Rodemann
1997-09-11  0:00                                                                                                                                               ` Robert S. White
1997-09-11  0:00                                                                                                                                                 ` Don Harrison
1997-09-12  0:00                                                                                                                                                 ` Robert Dewar
1997-09-13  0:00                                                                                                                                                 ` Patrick Doyle
1997-09-12  0:00                                                                                                                                               ` Jon S Anthony
1997-09-13  0:00                                                                                                                                                 ` Patrick Doyle
1997-09-16  0:00                                                                                                                                                   ` Brian Rogoff
1997-09-04  0:00                                                                                                                                       ` John G. Volan
1997-09-04  0:00                                                                                                                                         ` W. Wesley Groleau x4923
1997-09-05  0:00                                                                                                                                           ` Patrick Doyle
1997-09-05  0:00                                                                                                                                             ` W. Wesley Groleau x4923
1997-09-06  0:00                                                                                                                                               ` Patrick Doyle
1997-09-08  0:00                                                                                                                                               ` Paul Johnson
1997-09-06  0:00                                                                                                                                             ` Jon S Anthony
1997-09-08  0:00                                                                                                                                           ` Robert Dewar
1997-09-09  0:00                                                                                                                                             ` Robert S. White
1997-09-09  0:00                                                                                                                                             ` Paul Johnson
1997-09-11  0:00                                                                                                                                               ` Robert Dewar
1997-09-11  0:00                                                                                                                                                 ` Veli-Pekka Nousiainen
1997-09-12  0:00                                                                                                                                                 ` Paul Johnson
1997-09-14  0:00                                                                                                                                                   ` Ken Garlington
1997-09-09  0:00                                                                                                                                             ` Patrick Doyle
1997-09-09  0:00                                                                                                                                               ` Matthew Heaney
1997-09-10  0:00                                                                                                                                                 ` Patrick Doyle
1997-09-09  0:00                                                                                                                                           ` Matt Kennel (Remove 'NOSPAM' to reply)
1997-09-10  0:00                                                                                                                                             ` John Viega
1997-09-10  0:00                                                                                                                                               ` Matt Kennel (Remove 'NOSPAM' to reply)
1997-09-05  0:00                                                                                                                                         ` Franck Arnaud
1997-09-05  0:00                                                                                                                                         ` Patrick Doyle
1997-08-28  0:00                                                                                                                       ` Tucker Taft
1997-08-28  0:00                                                                                                                         ` W. Wesley Groleau x4923
1997-08-28  0:00                                                                                                                           ` Jon S Anthony
1997-08-29  0:00                                                                                                                             ` Suzanne Zampella
1997-08-29  0:00                                                                                                                               ` Jon S Anthony
     [not found]                                                                                                                             ` <EFnK8D.Lsv@ecf.toronto.edu>
1997-08-29  0:00                                                                                                                               ` Jon S Anthony
1997-08-30  0:00                                                                                                                                 ` Patrick Doyle
1997-08-30  0:00                                                                                                                                   ` Jon S Anthony
1997-09-01  0:00                                                                                                                                     ` Patrick Doyle
     [not found]                                                                                                                             ` <340E9BA2.32B3@rbgg252.rbg1.siemens.de>
1997-09-07  0:00                                                                                                                               ` Robert Dewar
     [not found]                                                                                                                         ` <3406A707.787D@dmu.ac.uk>
1997-08-29  0:00                                                                                                                           ` Joerg Rodemann
1997-08-29  0:00                                                                                                                             ` Ralph Paul
1997-08-29  0:00                                                                                                                           ` a fairy tale (was: Re: Interface/Implementation ) Fred Long
1997-09-01  0:00                                                                                                                           ` Interface/Implementation (was Re: Design by Contract) Don Harrison
1997-09-01  0:00                                                                                                                           ` In defence of plain ascii files ( was " Chris RL Morgan
1997-08-27  0:00                                                                                                               ` Design by Contract Ted Velkoff
     [not found]                                                                                                               ` <34050F3C.5A3A@invest.amp.com.au>
1997-08-28  0:00                                                                                                                 ` Robert Dewar
1997-08-29  0:00                                                                                                                   ` Paul Johnson
1997-08-31  0:00                                                                                                                     ` Matt Kennel (Remove 'NOSPAM' to reply)
1997-09-01  0:00                                                                                                                       ` John F. Bell III
1997-09-02  0:00                                                                                                                         ` Ken Garlington
1997-09-05  0:00                                                                                                                           ` Robert Dewar
     [not found]                                                                                                                     ` <dewar.872887402@merv>
1997-09-02  0:00                                                                                                                       ` Ken Garlington
1997-09-03  0:00                                                                                                                         ` Thomas Beale
     [not found]                                                                                                                           ` <EFxx8q.2sw@ecf.toronto.edu>
1997-09-04  0:00                                                                                                                             ` Thomas Beale
1997-09-05  0:00                                                                                                                         ` Robert Dewar
1997-09-05  0:00                                                                                                                           ` Ken Garlington
     [not found]                                                                                                         ` <340306E1.5FB64D70@XYZZYcalfp.com>
1997-08-28  0:00                                                                                                           ` Mark Bennison
1997-08-28  0:00                                                                                                             ` Separation of IF and Imp: process issue? Jeff Kotula
     [not found]                                                                                                               ` <x7vd8myyrzx.fsf@pogner.demon.co.uk>
1997-08-30  0:00                                                                                                                 ` Patrick Doyle
1997-08-31  0:00                                                                                                                   ` Jon S Anthony
1997-09-01  0:00                                                                                                                     ` Patrick Doyle
1997-09-01  0:00                                                                                                                       ` Robert Dewar
1997-09-02  0:00                                                                                                                         ` Patrick Doyle
1997-09-03  0:00                                                                                                                           ` Jon S Anthony
1997-09-05  0:00                                                                                                                           ` Robert Dewar
1997-09-05  0:00                                                                                                                             ` W. Wesley Groleau x4923
1997-09-08  0:00                                                                                                                             ` Erik Magnuson
1997-09-02  0:00                                                                                                                       ` Jon S Anthony
1997-09-03  0:00                                                                                                                         ` Patrick Doyle
     [not found]                                                                                                                   ` <x7vzppy250u.fsf@pogner.demon.co.uk>
1997-09-01  0:00                                                                                                                     ` Patrick Doyle
     [not found]                                                                                                                       ` <mheaney-ya023680000209972131260001@news.ni.net>
1997-09-03  0:00                                                                                                                         ` Patrick Doyle
1997-09-04  0:00                                                                                                                           ` Matthew Heaney
1997-09-05  0:00                                                                                                                             ` Patrick Doyle
1997-09-08  0:00                                                                                                                               ` John G. Volan
1997-09-09  0:00                                                                                                                                 ` Nick Leaton
1997-09-05  0:00                                                                                                                             ` Darren New
1997-09-06  0:00                                                                                                                               ` Matthew Heaney
1997-09-07  0:00                                                                                                                                 ` Darren New
1997-09-08  0:00                                                                                                                                   ` W. Wesley Groleau x4923
1997-09-09  0:00                                                                                                                                     ` Patrick Doyle
1997-09-08  0:00                                                                                                                                   ` Darren New
1997-09-08  0:00                                                                                                                                     ` Matthew Heaney
1997-09-09  0:00                                                                                                                                       ` John G. Volan
1997-09-09  0:00                                                                                                                                     ` Robert S. White
1997-09-09  0:00                                                                                                                                       ` Darren New
1997-09-09  0:00                                                                                                                                         ` Mark A Biggar
1997-09-10  0:00                                                                                                                                           ` Darren New
1997-09-11  0:00                                                                                                                                             ` Joerg Rodemann
1997-09-11  0:00                                                                                                                                               ` Darren New
1997-09-12  0:00                                                                                                                                                 ` Joerg Rodemann
1997-09-12  0:00                                                                                                                                                   ` Darren New
1997-09-10  0:00                                                                                                                                           ` Patrick Doyle
1997-09-11  0:00                                                                                                                                             ` Peter Hermann
1997-09-12  0:00                                                                                                                                             ` Robert Dewar
1997-09-12  0:00                                                                                                                                               ` Jon S Anthony
1997-09-09  0:00                                                                                                                                         ` Jon S Anthony
1997-09-10  0:00                                                                                                                                           ` Matt Kennel (Remove 'NOSPAM' to reply)
1997-09-10  0:00                                                                                                                                             ` Brian Rogoff
1997-09-12  0:00                                                                                                                                             ` Jon S Anthony
1997-09-10  0:00                                                                                                                                           ` Patrick Doyle
1997-09-12  0:00                                                                                                                                             ` Jon S Anthony
1997-09-12  0:00                                                                                                                                               ` Robert A Duff
1997-09-13  0:00                                                                                                                                                 ` Jon S Anthony
1997-09-09  0:00                                                                                                                                         ` Nick Leaton
1997-09-09  0:00                                                                                                                                           ` Jon S Anthony
1997-09-11  0:00                                                                                                                                             ` Robert Dewar
1997-09-12  0:00                                                                                                                                               ` Samuel T. Harris
1997-09-10  0:00                                                                                                                                         ` news_check.py
1997-09-11  0:00                                                                                                                                         ` Robert Dewar
1997-09-16  0:00                                                                                                                                           ` Owen Fellows
1997-09-09  0:00                                                                                                                                     ` Fergus Henderson
1997-09-10  0:00                                                                                                                                       ` Paul Johnson
1997-09-11  0:00                                                                                                                                       ` Robert Dewar
1997-09-10  0:00                                                                                                                                   ` Robert Dewar
1997-09-10  0:00                                                                                                                                     ` Darren New
1997-09-10  0:00                                                                                                                                     ` Walter Mallory
1997-09-10  0:00                                                                                                                                   ` Joerg Rodemann
1997-09-10  0:00                                                                                                                                     ` W. Wesley Groleau x4923
1997-09-10  0:00                                                                                                                                       ` Joerg Rodemann
1997-09-10  0:00                                                                                                                                       ` Precondition Checking For Ada 0X (Was: Separation of IF and Imp: process issue?) Matthew Heaney
1997-09-12  0:00                                                                                                                                         ` Robert Dewar
1997-09-15  0:00                                                                                                                                           ` W. Wesley Groleau x4923
1997-09-16  0:00                                                                                                                                             ` Robert Dewar
1997-09-16  0:00                                                                                                                                         ` Don Harrison
1997-09-16  0:00                                                                                                                                           ` Joerg Rodemann
1997-09-16  0:00                                                                                                                                             ` Roger Browne
1997-09-16  0:00                                                                                                                                               ` Robert A Duff
1997-09-17  0:00                                                                                                                                                 ` Franck Arnaud
1997-09-18  0:00                                                                                                                                                   ` Don Harrison
1997-09-18  0:00                                                                                                                                                     ` Robert A Duff
1997-09-18  0:00                                                                                                                                                       ` Juergen Schlegelmilch
1997-09-18  0:00                                                                                                                                                       ` Jon S Anthony
1997-09-20  0:00                                                                                                                                                       ` Joachim Durchholz
1997-09-17  0:00                                                                                                                                                 ` Lee Webber
1997-09-17  0:00                                                                                                                                                 ` Joachim Durchholz
1997-09-16  0:00                                                                                                                                             ` Owen Fellows
1997-09-16  0:00                                                                                                                                             ` Joachim Durchholz
1997-09-17  0:00                                                                                                                                             ` Don Harrison
1997-09-17  0:00                                                                                                                                             ` Paul Johnson
1997-09-20  0:00                                                                                                                                           ` Matthew Heaney
1997-09-25  0:00                                                                                                                                             ` Don Harrison
1997-09-25  0:00                                                                                                                                               ` Matthew Heaney
1997-09-26  0:00                                                                                                                                                 ` Don Harrison
1997-09-29  0:00                                                                                                                                               ` John G. Volan
1997-09-10  0:00                                                                                                                                     ` Separation of IF and Imp: process issue? Nick Leaton
1997-09-10  0:00                                                                                                                                       ` W. Wesley Groleau x4923
1997-09-18  0:00                                                                                                                                     ` Robert Dewar
     [not found]                                                                                                                               ` <dewar.873826268@merv>
1997-09-10  0:00                                                                                                                                 ` Samuel Mize
1997-09-10  0:00                                                                                                                                   ` W. Wesley Groleau x4923
1997-09-10  0:00                                                                                                                                     ` Scott Ingram
1997-09-12  0:00                                                                                                                                       ` Robert Dewar
1997-09-12  0:00                                                                                                                                         ` Scott Ingram
1997-09-11  0:00                                                                                                                                   ` Robert Dewar
1997-09-06  0:00                                                                                                                             ` Matt Kennel (Remove 'NOSPAM' to reply)
1997-09-05  0:00                                                                                                                           ` Jon S Anthony
1997-09-05  0:00                                                                                                                             ` Samuel Mize
1997-09-06  0:00                                                                                                                               ` Patrick Doyle
1997-09-06  0:00                                                                                                                             ` Patrick Doyle
1997-09-06  0:00                                                                                                                               ` Jon S Anthony
1997-09-07  0:00                                                                                                                                 ` Patrick Doyle
1997-09-08  0:00                                                                                                                                   ` Jon S Anthony [this message]
1997-09-09  0:00                                                                                                                                     ` Patrick Doyle
1997-09-09  0:00                                                                                                                                       ` Samuel Mize
1997-09-09  0:00                                                                                                                                       ` Matthew Heaney
1997-09-06  0:00                                                                                                                             ` Matt Kennel (Remove 'NOSPAM' to reply)
1997-09-06  0:00                                                                                                                               ` Jon S Anthony
     [not found]                                                                                                               ` <5u4941$9m1@gcsin3.geccs.gecm.com>
1997-09-15  0:00                                                                                                                 ` Michael Gacsaly
     [not found]                                                                                                     ` <34026DE7.7D07@pseserv3.fw.hac.com>
     [not found]                                                                                                       ` <3402C404.56812AFB@XYZZYcalfp.com>
1997-08-27  0:00                                                                                                         ` A DBC experience (was Re: Design by Contract) Simon Wright
     [not found]                                                                                                         ` <5tvfdt$79g@inet-server.sit.fi>
     [not found]                                                                                                           ` <34050D8B.569F@deakin.edu.au>
1997-08-28  0:00                                                                                                             ` Richie Bielak
1997-08-29  0:00                                                                                                               ` Peter Horan
     [not found]                                                                                                     ` <bengtk-2708972209500001@sl35.modempool.kth.se>
1997-08-28  0:00                                                                                                       ` Design by Contract Nick Leaton
1997-08-25  0:00                                                                                                   ` Bertrand Meyer
     [not found]                                                                                                     ` <JSA.97Aug26151833@alexandria.organon.com>
1997-08-27  0:00                                                                                                       ` Patrick Doyle
1997-08-25  0:00                                                                                                   ` Bertrand Meyer
1997-08-25  0:00                                                                                                     ` Steve Stringfellow
1997-08-26  0:00                                                                                                     ` Don Harrison
1997-08-13  0:00                                                                                 ` Safety-critical development in Ada and Eiffel Don Harrison
1997-08-13  0:00                                                                                   ` Samuel Mize
1997-08-13  0:00                                                                                     ` Robert A Duff
1997-08-14  0:00                                                                                       ` Jon S Anthony
1997-08-15  0:00                                                                                       ` Don Harrison
1997-08-16  0:00                                                                                         ` Ken Garlington
1997-08-13  0:00                                                                                   ` Jon S Anthony
1997-08-15  0:00                                                                                     ` Don Harrison
1997-08-16  0:00                                                                                       ` Jon S Anthony
1997-08-23  0:00                                                                               ` W. Wesley Groleau x4923
1997-08-23  0:00                                                                                 ` Robert Dewar
1997-07-23  0:00                                                               ` Ken Garlington
1997-07-25  0:00                                                                 ` Don Harrison
1997-07-15  0:00                                                   ` Wes Groleau
1997-07-15  0:00                                                     ` Ken Garlington
1997-07-16  0:00                                                     ` Don Harrison
1997-07-16  0:00                                                       ` Ken Garlington
1997-07-16  0:00                                                         ` Robert Dewar
1997-07-17  0:00                                                           ` Paul Johnson
1997-07-17  0:00                                                             ` Jon S Anthony
1997-07-17  0:00                                                             ` Stuart Palin
1997-07-18  0:00                                                               ` Ian Rae
1997-07-18  0:00                                                               ` Paul Johnson
1997-07-18  0:00                                                             ` Joachim Durchholz
1997-07-18  0:00                                                           ` Don Harrison
1997-07-20  0:00                                                           ` Don Harrison
1997-07-18  0:00                                                     ` Robert I. Eachus
1997-07-21  0:00                                                       ` W. Wesley Groleau x4923
1997-07-16  0:00                                                   ` Warwick Pulley
1997-07-16  0:00                                                     ` Nick Leaton
1997-07-16  0:00                                                       ` Robert Dewar
1997-07-20  0:00                                                         ` Joachim Durchholz
1997-07-24  0:00                                                           ` Joe Buck
1997-07-24  0:00                                                           ` Paul M Gover
1997-07-26  0:00                                                             ` Joachim Durchholz
1997-07-28  0:00                                                               ` Robert S. White
1997-08-09  0:00                                                                 ` Marinos J. Yannikos
1997-08-10  0:00                                                                   ` Robert S. White
1997-08-11  0:00                                                                   ` Peter Hamer
1997-08-11  0:00                                                                     ` "Paul E. Bennett"
1997-07-29  0:00                                                               ` Don Harrison
1997-07-21  0:00                                                         ` Don Harrison
1997-07-17  0:00                                                       ` Warwick Pulley
1997-07-17  0:00                                                         ` Warwick Pulley
1997-07-17  0:00                                                         ` Nick Leaton
1997-07-17  0:00                                                           ` Ken Garlington
1997-07-17  0:00                                                           ` Richie Bielak
1997-07-17  0:00                                                             ` Ken Garlington
1997-07-23  0:00                                                               ` Don Harrison
1997-07-23  0:00                                                                 ` Ken Garlington
1997-07-25  0:00                                                                   ` Don Harrison
1997-07-17  0:00                                                             ` Karel Th�nissen
1997-07-17  0:00                                                             ` Samuel Tardieu
1997-07-17  0:00                                                               ` Richie Bielak
1997-07-23  0:00                                                                 ` Don Harrison
1997-07-23  0:00                                                                   ` Karel Th�nissen
1997-07-24  0:00                                                                     ` Don Harrison
1997-07-24  0:00                                                                       ` Ken Garlington
1997-07-29  0:00                                                                         ` Don Harrison
1997-07-29  0:00                                                                           ` Ron Kohl
1997-07-29  0:00                                                                             ` Don Harrison
1997-07-30  0:00                                                                               ` Don Harrison
1997-07-31  0:00                                                                           ` Ken Garlington
1997-08-07  0:00                                                                             ` Don Harrison
1997-08-07  0:00                                                                               ` Ken Garlington
1997-08-13  0:00                                                                                 ` Don Harrison
1997-08-13  0:00                                                                                   ` Ken Garlington
1997-08-14  0:00                                                                                     ` Don Harrison
1997-08-15  0:00                                                                                       ` Ken Garlington
1997-08-19  0:00                                                                                         ` Don Harrison
1997-08-19  0:00                                                                                           ` Lee Webber
1997-08-20  0:00                                                                                           ` Ken Garlington
1997-08-21  0:00                                                                                             ` Don Harrison
1997-08-15  0:00                                                                                       ` Don Harrison
1997-08-15  0:00                                                                                         ` Ken Garlington
1997-08-16  0:00                                                                                           ` Jon S Anthony
1997-08-19  0:00                                                                                           ` Don Harrison
1997-08-20  0:00                                                                                             ` Ken Garlington
1997-08-15  0:00                                                                                       ` Lee Webber
1997-08-19  0:00                                                                                         ` Don Harrison
1997-08-19  0:00                                                                                           ` Lee Webber
1997-07-24  0:00                                                                       ` Don Harrison
1997-07-23  0:00                                                                   ` Ken Garlington
1997-07-25  0:00                                                                     ` Don Harrison
1997-07-23  0:00                                                                   ` Jon S Anthony
1997-07-24  0:00                                                                     ` Don Harrison
1997-07-24  0:00                                                                       ` Jon S Anthony
1997-07-23  0:00                                                             ` Don Harrison
1997-07-23  0:00                                                               ` Ken Garlington
1997-07-25  0:00                                                                 ` Don Harrison
     [not found]                                                           ` <JSA.97Jul17174044@alexandria.organon.com>
1997-07-18  0:00                                                             ` Nick Leaton
1997-07-18  0:00                                                             ` Joachim Durchholz
1997-07-17  0:00                                                     ` Don Harrison
1997-07-17  0:00                                                       ` Robert Dewar
1997-07-22  0:00                                                         ` Don Harrison
1997-07-17  0:00                                                       ` Karel Th�nissen
1997-07-21  0:00                                                         ` Don Harrison
1997-07-17  0:00                                                       ` Robert Dewar
1997-07-18  0:00                                                         ` Jon S Anthony
1997-07-19  0:00                                                           ` Robert A Duff
1997-07-20  0:00                                                             ` Use use type? (Was Re: Safety-critical development in Ada and Eiffel) Brian Rogoff
1997-07-21  0:00                                                               ` Robert Dewar
1997-07-21  0:00                                                               ` Robert Dewar
1997-07-21  0:00                                                                 ` Brian Rogoff
1997-07-22  0:00                                                                   ` Robert Dewar
1997-07-21  0:00                                                               ` Robert A Duff
1997-07-21  0:00                                                                 ` Brian Rogoff
1997-07-24  0:00                                                                 ` Morgan Palaeo Associates
1997-07-24  0:00                                                                   ` Jon S Anthony
     [not found]                                                                     ` <199707251337.PAA20933@basement.replay.com>
1997-07-26  0:00                                                                       ` Karel Th�nissen
1997-08-01  0:00                                                                     ` J-P. Rosen
1997-08-01  0:00                                                                       ` Robert A Duff
1997-08-02  0:00                                                                         ` Robert Dewar
1997-07-21  0:00                                                             ` Safety-critical development in Ada and Eiffel W. Wesley Groleau x4923
1997-07-21  0:00                                                         ` Don Harrison
1997-07-21  0:00                                                           ` Jon S Anthony
1997-07-21  0:00                                                             ` Brian Rogoff
1997-07-16  0:00                                               ` Alan Brain
1997-07-18  0:00                                                 ` Don Harrison
1997-07-22  0:00                                                   ` Alan Brain
1997-07-22  0:00                                                     ` Don Harrison
1997-07-23  0:00                                                       ` Jon S Anthony
1997-07-24  0:00                                                         ` Don Harrison
1997-07-25  0:00                                                         ` Alan Brain
1997-07-25  0:00                                                           ` Jon S Anthony
1997-07-11  0:00                                             ` Kazimir Majorinc
1997-07-12  0:00                                               ` Ken Garlington
     [not found]                                     ` <slrn5rq1gc.che.abo@minkirri. <slrn5s1132.hf1.abo@minkirri.apana.org.au>
1997-07-08  0:00                                       ` Is ADA as good for graphics programming as C? (WAS: Re: Avoiding the second historic mistake) Richard Kenner
1997-07-08  0:00                                 ` Dale Pontius
     [not found]                             ` <33B16CBB.417A@gdesys <slrn5rn570.j6j.abo@minkirri.apana.org.au>
1997-07-04  0:00                               ` Samuel Mize
     [not found]                             ` <33B16CBB <slrn5rq1gc.che.abo@minkirri.apana.org.au>
1997-07-05  0:00                               ` Larry Kilgallen
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox