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=-2.9 required=5.0 tests=BAYES_00,MAILING_LIST_MULTI autolearn=unavailable autolearn_force=no version=3.4.4 X-Google-Thread: 103376,aef4913dd6741a38 X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,UTF8 Path: g2news1.google.com!news4.google.com!news2.google.com!news.maxwell.syr.edu!newsfeed.icl.net!newsfeed.fjserv.net!oleane.net!oleane!freenix!news.enst.fr!melchior!cuivre.fr.eu.org!melchior.frmug.org!not-for-mail From: Preben Randhol Newsgroups: comp.lang.ada Subject: Re: ADA vs Java Date: Tue, 21 Jun 2005 09:56:05 +0200 Organization: PVV Message-ID: References: NNTP-Posting-Host: lovelace.ada-france.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8BIT X-Trace: melchior.cuivre.fr.eu.org 1119340587 72761 212.85.156.195 (21 Jun 2005 07:56:27 GMT) X-Complaints-To: usenet@melchior.cuivre.fr.eu.org NNTP-Posting-Date: Tue, 21 Jun 2005 07:56:27 +0000 (UTC) To: comp.lang.ada@ada-france.org Return-Path: In-reply-to: Content-Disposition: inline User-Agent: Mutt/1.5.9i X-Virus-Scanned: by amavisd-new-20030616-p10 (Debian) at ada-france.org X-BeenThere: comp.lang.ada@ada-france.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Gateway to the comp.lang.ada Usenet newsgroup" List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Xref: g2news1.google.com comp.lang.ada:11520 Date: 2005-06-21T09:56:05+02:00 On Mon, Jun 20, 2005 at 10:31:46PM +0000, HansF wrote: > > - 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 So your saying: Use Java, C++ etc... for safety-critical applications. The reason for the warning NOT to do so is purly legal protection and it is not due to that the languages are not suited for the task? About Ada and Java you can have a look at what Duncan Sands have to say about their system. They use both languages, but Java only for the GUI. http://www.gnat.com/aa_videos.php# > - 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. Please read up on Ada so you can put the languages perspective. Have a look at SPARK too. > 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. This may cover ones back, but do one want the insurance company to bail one out again and again because one use a tool that will more likely make one generate errors? I would guess the premium would rise over time... -- Preben Randhol -------------- http://www.pvv.org/~randhol/Ada95 -- �For me, Ada95 puts back the joy in programming.�