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.9 required=5.0 tests=BAYES_00 autolearn=ham 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 12:00:34 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!postnews1.google.com!not-for-mail From: mjsilva697@earthlink.net (Mike Silva) Newsgroups: comp.lang.ada Subject: Re: Faulty languages and Liability Date: 17 Jun 2002 12:00:33 -0700 Organization: http://groups.google.com/ Message-ID: <27085883.0206171100.7f6f0c5e@posting.google.com> References: <3D0DE5E2.5010904@mail.com> NNTP-Posting-Host: 206.245.217.2 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Trace: posting.google.com 1024340434 23496 127.0.0.1 (17 Jun 2002 19:00:34 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: 17 Jun 2002 19:00:34 GMT Xref: archiver1.google.com comp.lang.ada:26173 Date: 2002-06-17T19:00:34+00:00 List-Id: Hyman Rosen wrote in message news:<3D0DE5E2.5010904@mail.com>... > ...it's design and specification and > engineering errors that cause problems, not the choice of > programming language, and I can do just as well with C++ > as I can with Ada. So then you're asserting that choice of language has absolutely no effect on software quality? And you're also asserting that this is the consensus opinion in the industry? Coincidentally, from the currently-being-discussed Hoare paper of 1980 (discussing such security checking as array bounds checking): "In any respectible branch of engineering, failure to observe such elementary precautions would have long been against the law." So, given the well-known falible nature of human programmers, if one has the choice between well-known tools which perform many such checks automatically, and tools which do not perform such checks automatically, and if a falible programmer then uses tools of the second type which contribute to a major software failure, has due diligence been used? Mike