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,703c4f68db81387d
X-Google-Thread: 109fba,703c4f68db81387d
X-Google-Thread: 115aec,703c4f68db81387d
X-Google-Thread: f43e6,703c4f68db81387d
X-Google-Attributes: gid103376,gid109fba,gid115aec,gidf43e6,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news4.google.com!news.glorb.com!tudelft.nl!transit0.news.tiscali.nl!tiscali!transit1.news.tiscali.nl!dreader2.news.tiscali.nl!not-for-mail
Newsgroups: comp.lang.ada,comp.lang.c++,comp.realtime,comp.software-eng
Subject: Re: Teaching new tricks to an old dog (C++ -->Ada)
References: <4229bad9$0$1019$afc38c87@news.optusnet.com.au>
 <1110032222.447846.167060@g14g2000cwa.googlegroups.com>
 <871xau9nlh.fsf@insalien.org>
 <3SjWd.103128$Vf.3969241@news000.worldonline.dk>
 <87r7iu85lf.fsf@insalien.org>
 <y8lWd.103136$Vf.3969714@news000.worldonline.dk>
 <87is4598pm.fsf@insalien.org> <1110054476.533590@athnrd02>
 <u7jkliykd.fsf@obry.org> <1110059861.560004@athnrd02>
 <87wtsl7jts.fsf@insalien.org>
 <1110264816.858853.54020@l41g2000cwc.googlegroups.com>
 <pan.2005.03.08.11.47.30.352006@linuxchip.demon.co.uk.uk.uk>
 <1110336185.044049.21920@l41g2000cwc.googlegroups.com>
 <87wtsgfo7l.fsf@insalien.org>
 <1110408804.335616.161030@g14g2000cwa.googlegroups.com>
From: Ludovic Brenta <ludovic.brenta@insalien.org>
Date: Thu, 10 Mar 2005 00:11:43 +0100
Message-ID: <87oedsfm8g.fsf@insalien.org>
User-Agent: Gnus/5.1007 (Gnus v5.10.7) Emacs/21.3 (gnu/linux)
Cancel-Lock: sha1:TlmtPGFGFKbCVpQ0kRWj6B5X22I=
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Organization: Tiscali bv
NNTP-Posting-Date: 10 Mar 2005 00:11:30 CET
NNTP-Posting-Host: 83.134.240.205
X-Trace: 1110409890 dreader2.news.tiscali.nl 44111 83.134.240.205:33773
X-Complaints-To: abuse@tiscali.nl
Xref: g2news1.google.com comp.lang.ada:8984 comp.lang.c++:44869
 comp.realtime:1160 comp.software-eng:4718
Date: 2005-03-10T00:11:30+01:00
List-Id: <comp.lang.ada>

"Jerry Coffin" writes:
> Ludovic Brenta wrote:
>> [1] http://www.dkuug.dk/JTC1/SC22/WG9/n359.pdf
>
> I read through the reference above, and what it says about aliasing
> is basically "We've built a program verification system that doesn't
> understand aliasing, so attempting to use our system on code that
> uses aliasing won't work."
>
> Perhaps you intended to post some other link?

You seem to have mastered techniques to read faster than light :)

The document does not assume any tools to exist; it does not even
mandate the use of any tools.  All it says is that aliasing makes
"information flow analysis" and "symbolic execution" difficult.  In
other words, it makes it more difficult to prove the correctness of
software.  And provability of software is the single most important
concern in safety-critical applications.

In other application domains, of course, aliasing is not so frowned
upon.  But this thread is about safety and, as others like Ioannis
have noted, safty does have a cost, e.g. in terms of flexibility.

-- 
Ludovic Brenta.