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: 1108a1,2c6139ce13be9980 X-Google-Attributes: gid1108a1,public X-Google-Thread: fac41,2c6139ce13be9980 X-Google-Attributes: gidfac41,public X-Google-Thread: 103376,3d3f20d31be1c33a X-Google-Attributes: gid103376,public X-Google-Thread: f43e6,2c6139ce13be9980 X-Google-Attributes: gidf43e6,public From: "W. Wesley Groleau x4923" Subject: Ada vs Eiffel (was: Safety-critical development in ...) Date: 1997/07/21 Message-ID: <33D3AFEC.1B18@pseserv3.fw.hac.com>#1/1 X-Deja-AN: 258023299 Sender: usenet@most.fw.hac.com (News Administration) X-Nntp-Posting-Host: sparc02 References: <33C835A5.362A@flash.net> <33CC0548.4099@flash.net> <33CD578D.562CC6A4@munich.netsurf.de> <33D17AE1.4B42@flash.net> Organization: Hughes Defense Communications Newsgroups: comp.object,comp.software-eng,comp.lang.ada,comp.lang.eiffel Date: 1997-07-21T00:00:00+00:00 List-Id: > I presume you mean assertions in the compiler, since obviously the > assertions can't be relied upon to detect errors in the application > at this point. Is there evidence that Eiffel compilers use assertions > extensive internally? Is there evidence that, as a result, they have > far fewer bugs than other compilers? (These aren't idle questions; > if this is the case, this is actually a valid argument for the use of > Eiffel in safety-critical systems that hasn't been offered to date.) 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? Perhaps we could end this argument by designing a hybrid of Ada and Eiffel--if you can't beat 'em, join 'em. We could call it Afel (rhymes with waffle). -- ---------------------------------------------------------------------- Wes Groleau, Hughes Defense Communications, Fort Wayne, IN USA Senior Software Engineer - AFATDS Tool-smith Wanna-be Don't send advertisements to this domain unless asked! All disk space on fw.hac.com hosts belongs to either Hughes Defense Communications or the United States government. Using email to store YOUR advertising on them is trespassing! ----------------------------------------------------------------------