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.7 required=5.0 tests=BAYES_00,INVALID_DATE,
	MSGID_SHORT,REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no
	version=3.4.4
Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.2 (Tek) 9/28/84 based on 9/17/84; site mako.UUCP
Path: utzoo!watmath!clyde!burl!ulysses!allegra!mit-eddie!genrad!decvax!tektronix!orca!mako!jans
From: jans@mako.UUCP (Jan Steinman)
Newsgroups: net.lang.ada
Subject: Validated Ada on UNIX!
Message-ID: <507@mako.UUCP>
Date: Wed, 9-Jan-85 19:23:19 EST
Article-I.D.: mako.507
Posted: Wed Jan  9 19:23:19 1985
Date-Received: Sat, 12-Jan-85 07:29:33 EST
Reply-To: jans@mako.UUCP (Jan Steinman)
Organization: Tektronix, Wilsonville OR
List-Id: <comp.lang.ada>

Copied without permission from Electronics Week, January 1, 1985.

"Ada aided by increase in compiler validations

"The Defense Department's Ada programming language gained momentum last month
with the validation of compilers by Alsys Inc., Waltham, MA, and Verdix Corp.,
McLean, VA.  This follows the recent validation of releases developed at the
University of Karlsruhe, West Germany, and at Dansk Datamatik Center, Lyngby,
Denmark.  The Alsys offering, aVAX/VMS to MC68000/Unix cross-compiler, was the
first compiler to be validated at a U. S. Defense Department center in France.
Verdix's compiler generates code on DEC VAX hardware running AT&T Co.'s UNIX
operating system.... "
-- 
:::::: Jan Steinman		Box 1000, MS 61-161	(w)503/685-2843 ::::::
:::::: tektronix!tekecs!jans	Wilsonville, OR 97070	(h)503/657-7703 ::::::