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!news3.google.com!news.glorb.com!border1.nntp.dca.giganews.com!nntp.giganews.com!local01.nntp.dca.giganews.com!nntp.megapath.net!news.megapath.net.POSTED!not-for-mail NNTP-Posting-Date: Mon, 14 Mar 2005 16:52:42 -0600 From: "Randy Brukardt" Newsgroups: comp.lang.ada,comp.lang.c++,comp.realtime,comp.software-eng References: <87r7iu85lf.fsf@insalien.org> <87is4598pm.fsf@insalien.org> <1110054476.533590@athnrd02> <1110059861.560004@athnrd02> <422b6d49.1141887367@news.xs4all.nl> <1110266099.441421.179290@o13g2000cwo.googlegroups.com> <1110332933.587110.260410@z14g2000cwz.googlegroups.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> <1110556346.841594.212520@z14g2000cwz.googlegroups.com> <4952804.Myubg7stsI@linux1.krischik.com> <1110739276.774946.103020@z14g2000cwz.googlegroups.com> Subject: Re: Teaching new tricks to an old dog (C++ -->Ada) Date: Mon, 14 Mar 2005 16:55:04 -0600 X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 5.50.4927.1200 X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4927.1200 Message-ID: NNTP-Posting-Host: 64.32.209.38 X-Trace: sv3-ArCAh7lJ32bUwW/GUFrRRY8ZJ0vq+cstl1weHL3xILm2vTZmJyFI5Adktqt6vs6PL3UYMEdVD89C3iU!Ib4Mc19ze0M4HPWOyu9QlVGcltFwdvVfHeR7iwecKLsE+yyRG/rSceZtG5dd/JsvQwE6c7s6KhoG X-Complaints-To: abuse@megapath.net X-DMCA-Complaints-To: abuse@megapath.net X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly X-Postfilter: 1.3.32 Xref: g2news1.google.com comp.lang.ada:9404 comp.lang.c++:45702 comp.realtime:1485 comp.software-eng:5052 Date: 2005-03-14T16:55:04-06:00 List-Id: "Jerry Coffin" wrote in message news:1110739276.774946.103020@z14g2000cwz.googlegroups.com... ... > 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. This statement is false. I was going to try to explain precisely what happened, but it probably is better to just point to the articles on that topic that were published at the time. See: http://www.adaic.com/compilers/index.html and in particular: http://www.adaic.com/compilers/acaa.html The ARA funding of the ACAA continues today; the process is alive and well. There has been a significant drop off in formal testing, supposedly because customers aren't demanding it as much as they did in the past. (Personally, I think that is a good thing, because it lets implementers concentrate on what's important to their customers rather than formal testing -- even though it means I make less money. It's also less necessary because all Ada vendors run the test suite regularly as part of their in-house regression tests -- there isn't anyone trying to get by without conforming.) Randy Brukardt ACAA Technical Agent