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: 101deb,87f6968ed41c9df1 X-Google-Attributes: gid101deb,public X-Google-Thread: f43e6,5ac12f5a60b1bfe X-Google-Attributes: gidf43e6,public X-Google-Thread: 103376,5ac12f5a60b1bfe X-Google-Attributes: gid103376,public From: dewar@cs.nyu.edu (Robert Dewar) Subject: Re: Multiple reasons for failure of Ariane 5 (was: Re: Ariane 5 - not an exception?) Date: 1996/09/06 Message-ID: #1/1 X-Deja-AN: 178981586 references: <4vjea6$gj7@goanna.cs.rmit.edu.au> <32217BC4.3583@lmtas.lmco.com> <3222E997.5EEC@lmtas.lmco.com> <505omb$a0c@goanna.cs.rmit.edu.au> <322D4040.3339@lmtas.lmco.com> <50o6c4$88g@goanna.cs.rmit.edu.au> organization: Courant Institute of Mathematical Sciences newsgroups: comp.software-eng,comp.lang.ada,comp.lang.pl1 Date: 1996-09-06T00:00:00+00:00 List-Id: In article <50o6c4$88g@goanna.cs.rmit.edu.au> rav@goanna.cs.rmit.edu.au (++ robin) writes: > and that > >PL/I has no special advantage over Ada in this regard. Thank you. > > ---The PL/I exception and recovery capabilities are, in general, > superior to those of Ada. Well there have always been those who argue for resumption semantics, as provided for example in PL/I, instead of replacement semantics, but I think that argument is largely decided in favor of the replacement semantic model, which is very much cleaner, both from a formal definition point of view and from an implementation point of view. Ada 83 made this choice over 15 years ago, and more recently C++ has made the same assumption. So the bottom line is that only a small minority would agree that the PL/I model is superior at this stage. The PL/I model was of course well known to both the Ada and C++ designers, and was very conciously rejected as inferior.