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,
	MSGID_SHORT 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 9/18/84; site wdl1.UUCP
Path: utzoo!watmath!clyde!burl!ulysses!allegra!mit-eddie!godot!harvard!seismo!hao!hplabs!hpda!fortune!wdl1!jbn
From: jbn@wdl1.UUCP
Newsgroups: net.lang.ada
Subject: Re: Re: Validated Ada on UNIX!
Message-ID: <213@wdl1.UUCP>
Date: Mon, 21-Jan-85 16:46:17 EST
Article-I.D.: wdl1.213
Posted: Mon Jan 21 16:46:17 1985
Date-Received: Thu, 24-Jan-85 05:36:32 EST
Sender: notes@wdl1.UUCP
Organization: Ford Aerospace, Western Development Laboratories
Nf-ID: #R:gatech:-1168100:wdl1:36000003:000:431
Nf-From: wdl1!jbn    Jan 21 12:38:00 1985
List-Id: <comp.lang.ada>


     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.