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.5 required=5.0 tests=BAYES_00, PP_MIME_FAKE_ASCII_TEXT,REPLYTO_WITHOUT_TO_CC autolearn=no 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!news1.google.com!newsread.com!newsprint.newsread.com!news-feed01.roc.ny.frontiernet.net!nntp.frontiernet.net!newscon06.news.prodigy.com!prodigy.net!newsfeed-00.mathworks.com!panix!panix1.panix.com!not-for-mail From: comeau@panix.com (Greg Comeau) Newsgroups: comp.lang.ada,comp.lang.c++,comp.realtime,comp.software-eng Subject: Re: Teaching new tricks to an old dog (C++ -->Ada) Date: 14 Mar 2005 15:46:24 -0500 Organization: Comeau Computing; http://www.comeaucomputing.com Message-ID: References: <87r7iu85lf.fsf@insalien.org> <1110390097.532139.43430@f14g2000cwb.googlegrou Reply-To: comeau@comeaucomputing.com NNTP-Posting-Host: panix1.panix.com X-Trace: reader1.panix.com 1110833184 4226 166.84.1.1 (14 Mar 2005 20:46:24 GMT) X-Complaints-To: abuse@panix.com NNTP-Posting-Date: Mon, 14 Mar 2005 20:46:24 +0000 (UTC) Xref: g2news1.google.com comp.lang.ada:9392 comp.lang.c++:45661 comp.realtime:1473 comp.software-eng:5039 Date: 2005-03-14T15:46:24-05:00 List-Id: In article , Jean-Pierre Rosen wrote: >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. Other posts seems to disagree. Please clarify for us. Also include how and why your company is the _official_ lab. (I'm not challenging you, but seems to me a mixed message is coming through this thread.) -- Greg Comeau / Comeau for the Mac? Stay tuned. Comeau C/C++ ONLINE ==> http://www.comeaucomputing.com/tryitout World Class Compilers: Breathtaking C++, Amazing C99, Fabulous C90. Comeau C/C++ with Dinkumware's Libraries... Have you tried it?