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: the one and only real true kibo Subject: Re: Papers on the Ariane-5 crash and Design by Contract Date: 1997/03/23 Message-ID: <5h2ikg$8qk@stronghold.dhp.com>#1/1 X-Deja-AN: 227655452 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> <33332363.41C6@lanl.gov> <33335686.FF6D5DF@eiffel.com> Organization: DataHaven Project +1 412 421 4516 (DHP.COM) Newsgroups: comp.lang.eiffel,comp.object,comp.software-eng,comp.programming.threads,comp.lang.ada Date: 1997-03-23T00:00:00+00:00 List-Id: -----BEGIN PGP SIGNED MESSAGE----- On Fri, 21 Mar 1997 19:48:22 -0800 in article <33335686.FF6D5DF@eiffel.com> posted to comp.lang.eiffel, Bertrand Meyer wrote: > William Clodius wrote: > > > 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 > You may have a point. Hoare's article, in the part > about Ada, talks about "a plethora of > features and notational conventions, many of them unnecessary > and some of them, like exception handling, even dangerous". > I understand this remark (partly on the basis of verbal comments > heard at the time) as a criticism of Ada's specific exception > handling, but it is possible to understand it > as an indictment of exception handling in general. Anything's better than Eiffel. I am the only true Kibo. Finger me for my PGP public key. Check out my home page for the coolest way to vote on new newsgroup proposals or to issue Usenet cancels. -----BEGIN PGP SIGNATURE----- Version: 2.6.2 iQCVAwUBMzTNzKlPvImbzLKZAQGJkAQAqQz45O/nconOMwV/H2zLp5JELjXCt7tw RoCuEsVM8ubXnI3l9WrKwYY+dG3KR+8+nD67Vv/BVjkrAR/URo+o5l2XaJAdWaJs e+TeIcdi7Qm+4Fj2A6Js5wRvZhT7QSXa1iL+LHA9dhEEduNlzymONOnui2/p3fIS IyqPd0gXqss= =Pwxo -----END PGP SIGNATURE-----