Path: utzoo!utgpu!news-server.csri.toronto.edu!rutgers!rochester!cornell!uw-beaver!mit-eddie!mintaka!olivea!samsung!sdd.hp.com!decwrl!ucbvax!ADAWC.WPAFB.AF.MIL!STRIPET
From: STRIPET@ADAWC.WPAFB.AF.MIL ("Thomas H. Stripe  255-4472", 513)
Newsgroups: comp.lang.ada
Subject: Validated Ada Compiler List
Message-ID: <9011091326.AA20208@ajpo.sei.cmu.edu>
Date: 9 Nov 90 12:23:00 GMT
Sender: usenet@ucbvax.BERKELEY.EDU
Organization: The Internet
Lines: 21


>> Would someone give a few examples of Ada compilers that have been
>> DOD certified for the IBM PC?  I know there is Integrada by
>> Aetech, but that's the limit of my experience.  How does it
>> stack up against the others?

>> Thank you for the help.  I will be happy to summarize if there is
>> interest.

Bev,

	There exist a list of validated Ada compilers from the AJPO 
(AJPO.SEI.CMU.EDU) machine. This is available through anonymous ftp in
the subdirectory public/ada-info. The file is VAL-COMP.HLP.
This list contains all compilers that have been certified by an AVF.

For more information, call Michele Kee at the Ada Information Clearinghouse
at (703) 685-1477.

Thomas H. Stripe
Wright-Patterson AVF