From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.8 required=5.0 tests=BAYES_00,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!seismo!think!nike!ucbcad!ucbvax!ORION.BITNET!KEN
From: KEN@ORION.BITNET (Kenneth Ng)
Newsgroups: net.lang.ada
Subject: compiler validation
Message-ID: <8611020421.AA01029@ucbvax.berkeley.edu>
Date: Sat, 1-Nov-86 08:55:48 EST
Article-I.D.: ucbvax.8611020421.AA01029
Posted: Sat Nov  1 08:55:48 1986
Date-Received: Mon, 3-Nov-86 22:44:16 EST
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The ARPA Internet
List-Id: <comp.lang.ada>

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?