comp.lang.ada
 help / color / mirror / Atom feed
* (no subject)
@ 1983-05-06 20:51 utzoo!decvax!harpo!seismo!hao!menlo70!sytek!zehntel!tektronix!ogcvax!rascal
  0 siblings, 0 replies; only message in thread
From: utzoo!decvax!harpo!seismo!hao!menlo70!sytek!zehntel!tektronix!ogcvax!rascal @ 1983-05-06 20:51 UTC (permalink / 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

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~1983-05-06 19:51 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1983-05-06 20:51 utzoo!decvax!harpo!seismo!hao!menlo70!sytek!zehntel!tektronix!ogcvax!rascal

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox