searching for the first validated Ada compiler: NYU Ada/Ed

[Nigel Williams <nw@retrocomputingtasmania.com>]

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.