Validated Ada on UNIX!

Validated Ada on UNIX!

[Jan Steinman]

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 ::::::

Re: Validated Ada on UNIX!

[Arnold Robbins]

> 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 ::::::

I hope this hasn't been posted already, but I want to clarify that the Verdix
compiler is for 4.2 BSD, not System V.  Admittedly, Unix is still ATT's,
but you can't buy 4.2 from them...
-- 
Arnold Robbins
CSNET:	arnold@gatech	ARPA:	arnold%gatech.csnet@csnet-relay.arpa
UUCP:	{ akgua, allegra, hplabs, ihnp4, seismo, ut-sally }!gatech!arnold

Help advance the state of Computer Science: Nuke a PR1ME today!