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
Path: 
 g2news1.google.com!news4.google.com!news.glorb.com!fr.ip.ndsoftware.net!proxad.net!freenix!oleane.net!oleane!hunter.axlog.fr!nobody
From: Jean-Pierre Rosen <rosen@adalog.fr>
Newsgroups: comp.lang.ada,comp.lang.c++,comp.realtime,comp.software-eng
Subject: Re: Teaching new tricks to an old dog (C++ -->Ada)
Date: Mon, 14 Mar 2005 09:27:25 +0100
Organization: Adalog
Message-ID: <ath31d.1vm.ln@hunter.axlog.fr>
References: <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>
   <422b6d49.1141887367@news.xs4all.nl>
   <EuaXd.12424$Pz7.8656@newssvr13.news.prodigy.com>
   <1110266099.441421.179290@o13g2000cwo.googlegroups.com>
   <d0kvpd$783$1@sparta.btinternet.com>
   <1110332933.587110.260410@z14g2000cwz.googlegroups.com>
   <d0m6tk$gt8$1@titan.btinternet.com>
   <1110390097.532139.43430@f14g2000cwb.googlegroups.com>
   <422f3808$0$30165$ba620e4c@news.skynet.be>
   <1110409958.685759.249420@g14g2000cwa.googlegroups.com>
   <15SdnYvJ0_x3Vq3fRVn-3Q@megapath.net>
   <1110522060.091940.178510@l41g2000cwc.googlegroups.com>
   <uekemd5ek.fsf@obry.org>
   <1110556346.841594.212520@z14g2000cwz.googlegroups.com>
   <4952804.Myubg7stsI@linux1.krischik.com>
 <1110739276.774946.103020@z14g2000cwz.googlegroups.com>
NNTP-Posting-Host: mailhost.axlog.fr
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 8bit
X-Trace: s1.news.oleane.net 1110791323 27976 195.25.228.57 (14 Mar 2005
 09:08:43 GMT)
X-Complaints-To: abuse@oleane.net
NNTP-Posting-Date: Mon, 14 Mar 2005 09:08:43 +0000 (UTC)
User-Agent: Mozilla Thunderbird 1.0 (Windows/20041206)
X-Accept-Language: fr, en
In-Reply-To: <1110739276.774946.103020@z14g2000cwz.googlegroups.com>
Xref: g2news1.google.com comp.lang.ada:9356 comp.lang.c++:45516
 comp.realtime:1442 comp.software-eng:5005
Date: 2005-03-14T09:27:25+01:00
List-Id: <comp.lang.ada>

Jerry Coffin a �crit :
> Let's address the Ada side first. Official Ada validation was done
> under the auspices of NIST, who delegated this task to the Ada Joint
> Program Office. The AJPO ceased to exist years ago, and the job was
> never turned over to anybody else when that happened. Meanwhile, NIST
> has discontinued _all_ of its compiler validation programs, not just
> the Ada program. Currently, both the ISO standard at a number of FIPS
> pubs _require_ Ada compilers to be officially validated, but at least
> in the US, there is absolutely NO agency to do that.
> 
I can assure you that there is still one official ACAL (laboratory for 
performing validation): Adalog, that's my company!

OK, it's not in the US. So what? Ada is an international standard.

-- 
---------------------------------------------------------
            J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr