* Re: Re: Validated Ada on UNIX!
@ 1985-01-21 21:46 jbn
1985-01-25 22:47 ` G Westin
0 siblings, 1 reply; 2+ messages in thread
From: jbn @ 1985-01-21 21:46 UTC (permalink / 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.
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: Re: Validated Ada on UNIX!
1985-01-21 21:46 Re: Validated Ada on UNIX! jbn
@ 1985-01-25 22:47 ` G Westin
0 siblings, 0 replies; 2+ messages in thread
From: G Westin @ 1985-01-25 22:47 UTC (permalink / raw)
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
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~1985-01-25 22:47 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1985-01-21 21:46 Re: Validated Ada on UNIX! jbn
1985-01-25 22:47 ` G Westin
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox