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.7 required=5.0 tests=BAYES_00,MSGID_RANDY autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,e1a91c4d90acda97 X-Google-Attributes: gid103376,public X-Google-Thread: 109fba,e1a91c4d90acda97 X-Google-Attributes: gid109fba,public X-Google-ArrivalTime: 2001-01-21 15:30:09 PST Path: supernews.google.com!sn-xit-02!sn-xit-01!supernews.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!nntp2.deja.com!nnrp1.deja.com!not-for-mail From: dvdeug@my-deja.com Newsgroups: comp.lang.ada,comp.lang.c++ Subject: Re: Safety-Critical Systems Developed Using C++ Date: Sun, 21 Jan 2001 23:17:55 GMT Organization: Deja.com Message-ID: <94fqmt$8p7$1@nnrp1.deja.com> References: <945eeq$vmk$1@nnrp1.deja.com> NNTP-Posting-Host: 139.78.80.137 X-Article-Creation-Date: Sun Jan 21 23:17:55 2001 GMT X-Http-User-Agent: Mozilla/4.76 [en] (X11; U; Linux 2.4.0 i686; Nav) X-Http-Proxy: 1.0 x71.deja.com:80 (Squid/1.1.22) for client 139.78.80.137 X-MyDeja-Info: XMYDJUIDdvdeug Xref: supernews.google.com comp.lang.ada:4283 comp.lang.c++:41206 Date: 2001-01-21T23:17:55+00:00 List-Id: In article <945eeq$vmk$1@nnrp1.deja.com>, k_e_n_s_a_i@my-deja.com wrote: > I suppose it's irrelevant, but the integrity of a program depends on > the skill of the programmers rather than the language it is coded in. > Any syntactically correct language should be equally stable, excluding > compiler flaws, etc. > > Sent via Deja.com > http://www.deja.com/ [Sorry if you get this twice; my main news server seems to be broken] Take, for example, the first place entry to the 1999 International Conference on Functional Programming (ICFP) Programming Contest by the INRIA OCaml team. http://caml.inria.fr/icfp99-contest/ has a report on their entry, pointing out that any exception raised by an optimizer would be caught by the main program, and cause it to ignore that optimization round. The same thing could be done in Ada, and would catch many of the same errors, like array overflows. OTOH, that same program written in C, on an array overflow, might crash or overwrite unrelated data. So this program was protected from bugs that might have caused its C competitors to fail, through a technique enabled soley by choice of language. -- David Starner - dstarner98@aasaa.ofe.org Sent via Deja.com http://www.deja.com/