From: jbn@wdl1.UUCP
Subject: Re: Re: Validated Ada on UNIX!
Date: Mon, 21-Jan-85 16:46:17 EST [thread overview]
Date: Mon Jan 21 16:46:17 1985
Message-ID: <213@wdl1.UUCP> (raw)
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.
next reply other threads:[~1985-01-21 21:46 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
1985-01-21 21:46 jbn [this message]
1985-01-25 22:47 ` Re: Validated Ada on UNIX! G Westin
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox