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.4 required=5.0 tests=AC_FROM_MANY_DOTS,BAYES_00 autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,28cd155693714664 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-06-17 20:33:12 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsxfer.visi.net!154.32.99.10.MISMATCH!psiuk-p2!psiuk-p3!uknet!psiuk-n!news.pace.co.uk!nh.pace.co.uk!not-for-mail From: "Marin David Condic" Newsgroups: comp.lang.ada Subject: Re: Faulty languages and Liability Date: Mon, 17 Jun 2002 12:25:40 -0400 Organization: Posted on a server owned by Pace Micro Technology plc Message-ID: References: <3D0DE5E2.5010904@mail.com> NNTP-Posting-Host: dhcp-200-133.miami.pace.co.uk X-Trace: nh.pace.co.uk 1024331141 5112 136.170.200.133 (17 Jun 2002 16:25:41 GMT) X-Complaints-To: newsmaster@news.cam.pace.co.uk NNTP-Posting-Date: 17 Jun 2002 16:25:41 GMT X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 5.50.4522.1200 X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4522.1200 Xref: archiver1.google.com comp.lang.ada:26198 Date: 2002-06-17T16:25:41+00:00 List-Id: I wouldn't imagine a court saying otherwise. What a court *might* say is "You built lousy software knowing full well and good that techniques and tools existed to catch/fix the errors that were brought before this court..." Go ahead and pick whatever tools you like. If the tools you pick don't catch the errors for you (knowing that other tools do), then you ought to institute some other processes by which you can catch them. Now its up to you to decide what technology you want to employ. As a side question: Does anybody know of a list of typical C/C++ errors that can't happen in Ada? It might be useful to do a side-by-side comparison. (This kind of error is common in C... - This error can't happen in Ada because...) I know Lucent had a study of common C errors & that a good number of them couldn't happen in Ada. (Read the report years ago). Of course the report concluded "we will institute coding standards and code reviews..." rather than "we'll use a language that will catch these things automatically..." - but it wasn't the point of the study to foament a revolution. I just think it would be instructive to have a web page comparing C/C++ errors against "Can't happen in Ada" or "Unlikely to happen in Ada because.." MDC -- Marin David Condic Senior Software Engineer Pace Micro Technology Americas www.pacemicro.com Enabling the digital revolution e-Mail: marin.condic@pacemicro.com "Hyman Rosen" wrote in message news:3D0DE5E2.5010904@mail.com... > And we'll just conclude that it's up to the people who make > software to decide what to use to make it. >