From: ogcvax!rascal
Subject: ACVC
Date: Tue May 17 21:08:39 1983
Date: 1983-05-17T21:08:39+00:00 [thread overview]
Date: Fri May 6 12:51:42 1983
Message-ID: <bnews.ogcvax.307> (raw)
ACVC stands for Ada Compiler Validation Capability.
I'm not surprised that NYU's compiler was the first to pass all ACVC
tests since (I think) SofTech used Ada/Ed to develop the ACVC tests.
However, I believe passing ACVC tests is only part of the validation
process: some extra documentation must also be provided.
I remember someone at an AdaTEC conference saying something like:
If Ada/Ed is used to validate ACVC, and if ACVC is
used to validate Ada/Ed, does that mean that every
validated Ada compiler must have all the same bugs
found in ACVC and Ada/Ed?
Of course, real validation is done through the DoD, so the race is still on!
Steve Scalpone
CSNET: rascal@Oregon-Grad
USENET: ...teklabs!ogcvax!rascal
USENET: ...hplabs!hp-pcd!ogcvax!rascal
ARPA: rascal.Oregon-Grad@RAND-RELAY
reply other threads:[~1983-05-17 21:08 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox