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: fdb77,5f529c91be2ac930
X-Google-Attributes: gidfdb77,public
X-Google-Thread: f43e6,899fc98b2883af4a
X-Google-Attributes: gidf43e6,public
X-Google-Thread: 1108a1,59ec73856b699922
X-Google-Attributes: gid1108a1,public
X-Google-Thread: 103376,583275b6950bf4e6
X-Google-Attributes: gid103376,public
X-Google-Thread: 11232c,59ec73856b699922
X-Google-Attributes: gid11232c,public
X-Google-ArrivalTime: 2003-05-16 12:07:18 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!newsfeed.berkeley.edu!ucberkeley!ihnp4.ucsd.edu!news.ucsd.edu!not-for-mail
From: Dr Chaos <mbkennelSPAMBEGONE@NOSPAMyahoo.com>
Newsgroups: 
 comp.lang.java.advocacy,comp.object,comp.lang.ada,misc.misc,comp.software-eng
Subject: Re: Quality systems (Was: Using Ada for device drivers? (Was: the Ada
 mandate, and why it collapsed and died))
Followup-To: comp.lang.java.advocacy
Date: Fri, 16 May 2003 19:07:15 +0000 (UTC)
Organization: Univ of Calif San Diego
Message-ID: <slrnbcadn3.589.mbkennelSPAMBEGONE@lyapunov.ucsd.edu>
References: <9fa75d42.0304230424.10612b1a@posting.google.com>
 <b9gko2$pub@library1.airnews.net>
 <9fa75d42.0305091549.48b9c5d9@posting.google.com>
 <dstanbro-DDA263.20492210052003@mec2.bigpond.net.au>
 <ZpGva.13$1Q1.6@read3.inet.fi>
 <7507f79d.0305121629.5b8b7369@posting.google.com>
 <ln0wa.54$a03.44@read3.inet.fi>
 <9fa75d42.0305130543.60381450@posting.google.com>
 <254c16a.0305140549.3a87281b@posting.google.com>
 <9fa75d42.0305141747.5680c577@posting.google.com>
 <254c16a.0305160425.3bb89749@posting.google.com>
 <1053091306.979352@master.nyc.kbcfp.com>
NNTP-Posting-Host: lyapunov.ucsd.edu
X-Trace: news1.ucsd.edu 1053112035 6316 132.239.222.85 (16 May 2003 19:07:15
 GMT)
X-Complaints-To: usenet@news1.ucsd.edu
NNTP-Posting-Date: Fri, 16 May 2003 19:07:15 +0000 (UTC)
User-Agent: slrn/0.9.7.4 (Linux)
Xref: archiver1.google.com comp.lang.java.advocacy:63941 comp.object:63568
 comp.lang.ada:37402 misc.misc:14235 comp.software-eng:19242
Date: 2003-05-16T19:07:15+00:00
List-Id: <comp.lang.ada>

On Fri, 16 May 2003 09:21:46 -0400, Hyman Rosen <hyrosen@mail.com> wrote:
> Marc A. Criley wrote:
>> Given the effort it saves, why not code in Ada?
> 
> Yep. C++ also gives you some of the same advantages.
> For example, iteration over containers looks like
>      for (i = c.begin(); i != c.end(); ++i)
> so you get the same lack of overruns. But Ada has a
> lot more of this type of stuff.

Does the C++ language prevent 'i' from being modified 
abnormally in the loop and the container being
dereferenced abnormally thereby?