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=0.2 required=5.0 tests=BAYES_00,INVALID_MSGID, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: fac41,2c6139ce13be9980 X-Google-Attributes: gidfac41,public X-Google-Thread: 1108a1,2c6139ce13be9980 X-Google-Attributes: gid1108a1,public X-Google-Thread: 103376,3d3f20d31be1c33a X-Google-Attributes: gid103376,public X-Google-Thread: f43e6,2c6139ce13be9980 X-Google-Attributes: gidf43e6,public From: kennel@nospam.lyapunov.ucsd.edu (Matt Kennel (Remove 'NOSPAM' to reply)) Subject: Re: Ada vs Eiffel (was: Safety-critical development in ...) Date: 1997/07/22 Message-ID: #1/1 X-Deja-AN: 258157740 References: <33C835A5.362A@flash.net> <33CC0548.4099@flash.net> <33CD578D.562CC6A4@munich.netsurf.de> <33D17AE1.4B42@flash.net> <33D3AFEC.1B18@pseserv3.fw.hac.com> Organization: University of California at San Diego Reply-To: kennel@NOSPAMlyapunov.ucsd.edu Newsgroups: comp.object,comp.software-eng,comp.lang.ada,comp.lang.eiffel Date: 1997-07-22T00:00:00+00:00 List-Id: On Mon, 21 Jul 1997 18:52:28 GMT, W. Wesley Groleau x4923 wrote: :Note that a particular high-quality Ada compiler is known to use :assertions extensively internally. Or does it? : :When is an assertion not an assertion? An assertion is just that, an assertion that some particular state should exist at some time. A precondition, for example, is more specific, in that it specifies who is at fault if its assertion is violated. And furthermore, this condition is intended to be visible to outside users. It is but a small technical change, but a larger social and mental change. The presumption is that fixing software to fit their specifications is more likely to be profitable than just eliminating the assertion violation. -- * Matthew B. Kennel/Institute for Nonlinear Science, UCSD - * "People who send spam to Emperor Cartagia... vanish! _They say_ that * there's a room where he has their heads, lined up in a row on a desk... * _They say_ that late at night, he goes there, and talks to them... _they *- say_ he asks them, 'Now tell me again, how _do_ you make money fast?'"