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-Thread: 103376,aef4913dd6741a38 X-Google-Thread: 113ae9,aef4913dd6741a38 X-Google-Attributes: gid103376,gid113ae9,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news3.google.com!news.glorb.com!newsfeed2.telusplanet.net!newsfeed.telus.net!edtnps89.POSTED!53ab2750!not-for-mail From: HansF Subject: Re: ADA vs Java User-Agent: Pan/0.14.2.92 ('Ere, he says he's not dead.) Message-Id: Newsgroups: comp.lang.ada,comp.lang.java.help References: MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit Date: Mon, 20 Jun 2005 22:31:46 GMT NNTP-Posting-Host: 161.184.143.86 X-Trace: edtnps89 1119306706 161.184.143.86 (Mon, 20 Jun 2005 16:31:46 MDT) NNTP-Posting-Date: Mon, 20 Jun 2005 16:31:46 MDT Xref: g2news1.google.com comp.lang.ada:11515 comp.lang.java.help:17799 Date: 2005-06-20T22:31:46+00:00 List-Id: On Mon, 20 Jun 2005 08:30:02 +0200, Pascal Obry interested us by writing: > > I did not answer this question because it is not a question, I mean you pretty > well know the answer. All piece of software has bugs. But softwares built with > Ada tends to have far less bugs per sloc than other languages. See recent The question was originaly rhetorical - you claimed earlier that the standard disclaimer was related to safety and reliability, and now you acknowledge that Ada has bugs (at least potentially), but does not have a disclaimer, and therefore does not make the user aware of *possible* deficiencies. I see the potential for a lawsuit in any decently litigious society. To conclude and summarize my points: - the reason for the disclaimer by many large software organizations is to avoid legal repercussions. It has nothing to do with the quality of the compiler, nor the quality of the resultant code; and - it may be that the attitiude of the Ada community, with respect to thorough analysis and test cases, is the significant contributor to the use of Ada in critical environments, rather than the compiler itself. The reason I am driving on this - I pay large quantities of money to an insurance company to cover myself as a consultant in the instance that I could be sued due to an unforeseen (not even deliverate) error or ommission. This, and my standard contract disclaimer, simply means that I do not wish to waste all on a lawsuit - but it does NOT reflect on the quality I deliver. -- Hans Forbrich