jans@mako.UUCP (Jan Steinman) (01/10/85)
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 ::::::
arnold@gatech.UUCP (Arnold Robbins) (01/17/85)
> 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!
jbn@wdl1.UUCP (01/22/85)
It's a nice system; I've seen a demo. They have a source-language
debugger, reasonable compile speed, and a tool for manufacturing makefiles
given all Ada's dependency information. But the generated code is nothing
to get thrilled about, although it should certainly beat Berkeley Pascal
with checking enabled.
I don't think that they intend to support system V at all; they seem
to be targeting VAX/VMS and SUNs next.westin@chalmers.UUCP (G Westin) (01/26/85)
Could anyone forward me the address to Verdix Corporation, please?
Are they on the net?
Thanks!
Sven-Gunnar Westin
Department of Computer Sciences
Chalmers University of Technology
S-412 96 Gothenburg
SWEDEN
UUCP: {seismo,philabs,decvax}!mcvax!enea!chalmers!westin
--
Sven-Gunnar Westin
{seismo,philabs,decvax}!mcvax!enea!chalmers!westin