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,25b9eb5c3a89bced
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news2.google.com!news3.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newsfeed00.sul.t-online.de!newsfeed01.sul.t-online.de!t-online.de!newsfeed01.chello.at!newsfeed02.chello.at!news.hispeed.ch.POSTED!not-for-mail
Message-ID: <1569741.lOpXH7j0oc@linux1.krischik.com>
From: Martin Krischik <krischik@users.sourceforge.net>
Subject: Re: where exactly c++,c fail and Ada gets thru'
Newsgroups: comp.lang.ada
Date: Mon, 24 Apr 2006 21:17:07 +0200
References: <1145852356.559455.222600@i39g2000cwa.googlegroups.com>
 <1145855124.720029.35280@t31g2000cwb.googlegroups.com>
User-Agent: KNode/0.10.1
MIME-Version: 1.0
Content-Type: text/plain; charset=iso-8859-15
Content-Transfer-Encoding: 8Bit
X-Complaints-To: abuse@hispeed.ch
Organization: hispeed.ch
NNTP-Posting-Host: 80.218.119.160 (80.218.119.160)
NNTP-Posting-Date: Wed, 26 Apr 2006 18:45:02 +0200
X-Trace: a42ef444fa38ef57fd20502000
Xref: g2news2.google.com comp.lang.ada:3935
Date: 2006-04-24T21:17:07+02:00
List-Id: <comp.lang.ada>

Hi Ananth

> Ananth the Boss wrote:

>> NASA aslo uses Ada.at what point c++ or c turns to be
>> not suitable for devleloping flight software. i may be wrong also. can
>> any one give some more justifications for telling "ADA is safe" thanks
>> in advance

> Neither C nor C++ provides any standard means for detecting
> overflow or underflow of numeric types. �C provides no way to
> ensure that a numeric type uses only a valid set of values. C++
> forces you to define a class wrapping the numeric value.

Just in case you have not read up on Ada typing here some pointers:

http://en.wikibooks.org/wiki/Ada_Programming/Types
http://en.wikibooks.org/wiki/Ada_Programming/Subtypes

Martin
-- 
mailto://krischik@users.sourceforge.net
Ada programming at: http://ada.krischik.com