From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: fac41,a48e5b99425d742a X-Google-Attributes: gidfac41,public X-Google-Thread: ffc1e,a48e5b99425d742a X-Google-Attributes: gidffc1e,public X-Google-Thread: f43e6,a48e5b99425d742a X-Google-Attributes: gidf43e6,public X-Google-Thread: 103376,a48e5b99425d742a X-Google-Attributes: gid103376,public X-Google-Thread: 1108a1,5da92b52f6784b63 X-Google-Attributes: gid1108a1,public From: William Clodius Subject: Re: Papers on the Ariane-5 crash and Design by Contract Date: 1997/03/21 Message-ID: <33332363.41C6@lanl.gov>#1/1 X-Deja-AN: 227448685 References: <332B5495.167EB0E7@eiffel.com> <332D113B.4A64@calfp.co.uk> <5gm8a6$2qu$2@news.irisa.fr> <3332BE49.8F9@lmtas.lmco.com> <33330FE5.3F54BC7E@eiffel.com> Organization: Los Alamos National Lab Newsgroups: comp.lang.eiffel,comp.object,comp.software-eng,comp.programming.threads,comp.lang.ada Date: 1997-03-21T00:00:00+00:00 List-Id: Bertrand Meyer wrote: > > > It was important to note as an aside, as we did, that Ada's exception > mechanism IS subject to criticism (many people have criticized it > thoroughly, including Tony Hoare in his Turing Award lecture), but that > this was NOT the point here since Ada's exception mechanism, in spite > of its deficiencies, COULD have been used to avoid the error. I hope I am correct in my memory, but I believe Tony Hoare's criticism of Ada's exception handling mechanism in this context is sufficiently general in its comments to apply to any modern exception handling mechanisms including those of Ada, C++, and Eiffel. He was largely concerned with the difficulty of correctly implementing this construct (and other aspects of Ada), and those aspects of Ada's mechanism that cause implementation difficulty are shared by the mechanisms of the other languages. > -- William B. Clodius Phone: (505)-665-9370 Los Alamos Nat. Lab., NIS-2 FAX: (505)-667-3815 PO Box 1663, MS-C323 Group office: (505)-667-5776 Los Alamos, NM 87545 Email: wclodius@lanl.gov