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=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,f039470e8f537101
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-07-30 06:18:52 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!info1.fnal.gov!nntp.upenn.edu!canoe.uoregon.edu!logbridge.uoregon.edu!fu-berlin.de!uni-berlin.de!adsl-213-200-246-247.cybernet.CH!not-for-mail
From: Vinzent Hoefler <ada.rocks@jlfencey.com>
Newsgroups: comp.lang.ada
Subject: Re: Ariane5 FAQ
Date: Wed, 30 Jul 2003 15:16:35 +0200
Organization: JeLlyFish software
Message-ID: <bg8gjo$m124l$1@ID-175126.news.uni-berlin.de>
References: <3F215120.1040706@attbi.com>
	 <1059151910.357790@master.nyc.kbcfp.com>
	 <e2e5731a.0307251844.7ea4dab4@posting.google.com>
	 <bDTUa.6456$AO6.976@nwrdny02.gnilink.net>
	 <e2e5731a.0307271419.4390a02c@posting.google.com>
 <ud6fvzbzc.fsf@xsol.com>	 <3F248CEE.5050709@attbi.com>
 <3F25FB81.A81694FA@adaworks.com> <uispljeua.fsf@xsol.com>
 <3F27638A.888BAEC4@adaworks.com> <HvKVa.1136$7h6.473@nwrdny03.gnilink.net>
 <3F27C236.F5234B9C@adaworks.com>
Reply-To: v.hoefler@acm.org
NNTP-Posting-Host: adsl-213-200-246-247.cybernet.ch (213.200.246.247)
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: quoted-printable
X-Trace: news.uni-berlin.de 1059571129 23103637 213.200.246.247 (16 [175126])
X-Newsreader: Forte Agent 1.8/32.548
Xref: archiver1.google.com comp.lang.ada:41008
Date: 2003-07-30T15:16:35+02:00
List-Id: <comp.lang.ada>

Richard Riehle wrote:

>I think it would be much more difficult to write a version of SPARK
>for C++ than for Ada.

Well, I guess so. :) Something similar is tried in Germany:
<URL:http://os.inf.tu-dresden.de/vfiasco/index.html>.

>   In the process, one would lose too much of
>what is useful in C++.

Well, the FAQ at <URL:http://os.inf.tu-dresden.de/vfiasco/faq.html>
isn't very verbose about it, but after what I have read in some German
newsgroups from one of the involved developers, it seems they (have
to) try a different approach than SPARK takes. For instance you cannot
have C++ without pointers like you can have Ada without access types.

So I guess, trying to get a "Safe C++" how they call it, is *much*
more work if you want to ensure software integrity at the same level
SPARK already can.


Vinzent.