comp.lang.ada
 help / color / mirror / Atom feed
From: anon@att.net
Subject: Re: searching for the first validated Ada compiler: NYU Ada/Ed
Date: Mon, 15 Apr 2013 08:11:22 +0000 (UTC)
Date: 2013-04-15T08:11:22+00:00	[thread overview]
Message-ID: <kkgcn8$38u$1@speranza.aioe.org> (raw)
In-Reply-To: 4a1846c9-f600-4e14-a6f6-bc199d53dfe4@fs2g2000pbd.googlegroups.com

Ada 83 was deemed obsolete in the 1995 so most resources have 
since dried up.

ACVC test suite can be found at  http://www.ada-auth.org/acats_table.html
Note: the files are not stored as a single archived, but are 
stored in a set of directories for browsing

You can also find a copy of the "Language Reference Manual" 
( LRM ) for Ada 83 at
http://www.adaic.org/ada-resources/standards/ada83/

Ada/Ed "Version 19.7 V-001" does not exist.  The last validated 
version was Ada/Ed "Version 1.7".

Now for a DOS version of "Ada/Ed 1.11" there are a number web site 
that have archive this file. Other web site have the GWU version 
of "Ada/Ed 1.11" which have added a text editor.

But for Ada/Ed "Version 1.7" or the last version validated copy you 
might try emailing "Robert B. K. Dewar" at Adacore and ask him, since 
he was major part of the NYU design team. And if your lucky he may 
have a copy or knows someone that might still have a copy.

I have the "Ada/ED 1.11.0a-PC" for NYU and GWU  as well as the 
ACVC 1.11 in archived files source / executable.


In <4a1846c9-f600-4e14-a6f6-bc199d53dfe4@fs2g2000pbd.googlegroups.com>, Nigel Williams <nw@retrocomputingtasmania.com> writes:
>I'm part of small band of Ada enthusiasts and software
>preservationists who are keen to find and preserve the first validated
>Ada compiler (NYU Ada/Ed Version 19.7 V-001), implemented by NYU
>(nyu.edu) in the early 1980s and validated in 1983.
>
>The validation report is referenced here:
>
>http://oai.dtic.mil/oai/oai?verb=getRecord&metadataPrefix=html&identifier=ADA136759
>
>NYU Ada/Ed was developed using the SETL programming language and it
>appears the first implementation was targeted at VAX/VMS. I hope to
>find both the Ada/Ed interpreter and the toolchain used to build it,
>at least minimally the relevant SETL implementation. It would also be
>important to find the V1.1 of the ACVC tests used for the validation
>as well.
>
>I have contacted NYU and some of the original authors of NYU Ada/Ed
>but so far only later versions, particularly those that were re-built
>using C or SETL2 have so far been found.
>
>We might be looking for old VAX backup tapes or perhaps someone kept
>printed copies of the source-code.
>
>If anyone has leads and suggestions on what to look for and where to
>look, it would be appreciated.
>
>thanks.



      reply	other threads:[~2013-04-15  8:11 UTC|newest]

Thread overview: 2+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2013-04-13 23:56 searching for the first validated Ada compiler: NYU Ada/Ed Nigel Williams
2013-04-15  8:11 ` anon [this message]
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox