From: eachus@spectre.mitre.org (Robert I. Eachus)
Subject: Re: Aeonix Ada 95
Date: 1997/03/17
Date: 1997-03-17T00:00:00+00:00 [thread overview]
Message-ID: <EACHUS.97Mar17114758@spectre.mitre.org> (raw)
In-Reply-To: 33237061.6A5D@bix.com
In article <dewar.858351614@merv> dewar@merv.cs.nyu.edu (Robert Dewar) writes:
> This reminds me of a question that Phillipe Kruchten asked me,
> back in his prerational days when he worked on the Ada-Ed project
> at NYU.
Hmmm... Phillipe wasn't rational when he was at NYU? ;-)
> He asked if he could be validated as an Ada 83 compiler. He proposed to
> look at each C test, think for a bit, and then say Passed!
If he could pass the B-tests, I'd be willing to give him a
certificate. (For those who have never dealt with the ACVC, the
B-tests are--in 1.x--about 1000 test which not only require you to
find every error at compile time, but to diagnose it correctly. Some
tests have/had hundreds of errors. Every compiler vendor I know spent
most of their effort during validation getting the B-tests right.
Most of the rest was spent on C-tests, and A,D,E and L collectively
accounted for at most 1-2% of the effort.)
--
Robert I. Eachus
with Standard_Disclaimer;
use Standard_Disclaimer;
function Message (Text: in Clever_Ideas) return Better_Ideas is...
next prev parent reply other threads:[~1997-03-17 0:00 UTC|newest]
Thread overview: 16+ messages / expand[flat|nested] mbox.gz Atom feed top
1997-03-09 0:00 Aeonix Ada 95 suburb
1997-03-09 0:00 ` Robert Dewar
1997-03-09 0:00 ` Tom Moran
1997-03-09 0:00 ` Dave Wood
1997-03-10 0:00 ` Robert Dewar
1997-03-10 0:00 ` Dave Wood
1997-03-11 0:00 ` Robert Dewar
1997-03-10 0:00 ` Robert Dewar
1997-03-11 0:00 ` Robert Dewar
1997-03-17 0:00 ` Robert I. Eachus [this message]
1997-03-17 0:00 ` Robert Dewar
1997-03-21 0:00 ` Aonix " Keith Allan Shillington
1997-03-14 0:00 ` Aeonix " Chris Morgan
1997-03-14 0:00 ` Robert Dewar
1997-03-17 0:00 ` Human compilers (was: Re: Aeonix Ada 95) Norman H. Cohen
1997-03-19 0:00 ` Robert Dewar
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox