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=-1.9 required=5.0 tests=BAYES_00 autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 10.180.106.161 with SMTP id gv1mr1178149wib.4.1365897380403; Sat, 13 Apr 2013 16:56:20 -0700 (PDT) MIME-Version: 1.0 X-Received: by 10.50.41.67 with SMTP id d3mt1404266igl.4.1365897379571; Sat, 13 Apr 2013 16:56:19 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!mx05.eternal-september.org!feeder.eternal-september.org!de-l.enfer-du-nord.net!feeder1.enfer-du-nord.net!usenet-fr.net!proxad.net!feeder1-2.proxad.net!209.85.212.216.MISMATCH!19no85877330wie.1!news-out.google.com!p18ni54360wiv.0!nntp.google.com!yt3no66535506wib.0!postnews.google.com!fs2g2000pbd.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Sat, 13 Apr 2013 16:56:19 -0700 (PDT) Complaints-To: groups-abuse@google.com Injection-Info: fs2g2000pbd.googlegroups.com; posting-host=233.233.15.5; posting-account=nDzyqwoAAADWxvsY0tWiqVGjvGsLA9-f NNTP-Posting-Host: 233.233.15.5 User-Agent: G2/1.0 X-HTTP-UserAgent: Mozilla/5.0 (Windows NT 6.2; WOW64) AppleWebKit/537.31 (KHTML, like Gecko) Chrome/26.0.1410.64 Safari/537.31,gzip(gfe) Message-ID: <4a1846c9-f600-4e14-a6f6-bc199d53dfe4@fs2g2000pbd.googlegroups.com> Subject: searching for the first validated Ada compiler: NYU Ada/Ed From: Nigel Williams Injection-Date: Sat, 13 Apr 2013 23:56:20 +0000 Content-Type: text/plain; charset=ISO-8859-1 Xref: news.eternal-september.org comp.lang.ada:14989 Date: 2013-04-13T16:56:19-07:00 List-Id: 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.