[net.lang.ada] compiler validation

PETCHER%SVDSD%ti-eg.CSNET@CSNET-RELAY.ARPA (Malcolm Petcher - 466-4146) (03/28/86)

I can see the benefit of having the British MoD allowed to validate compilers, 
but I see no reason for them to establish their own validation suite.  That's 
courting disaster.  If there is to be only one specification for the language 
there should be only one validation suite.  If MoD has the need for some 
different or additional tests, it seems they could work together with the US 
DoD ACVC to establish a common validation suite acceptable to both.

Malcolm Petcher

KEN@ORION.BITNET (Kenneth Ng) (11/01/86)

I've got two questions on Ada compilers.  First, an associate of mine
recently said that Ada compilers are so big that every compiler
produced has been certified and decertified at least half a dozen
times.  Is that an exageration or an understatement?  I've always
been under the impression that once certification has been issued
that it was permanent until the ANSI standard comes up for review.

Second, is there something akin to an implementers guide available
for Ada?  (Please don't tell me I'm crazy, I already know that)
If it is available electronically, is it available to someone
without FTP capabilities?