rascal (05/06/83)
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