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 2002:a6b:b354:: with SMTP id c81mr2724136iof.242.1556390231529;
        Sat, 27 Apr 2019 11:37:11 -0700 (PDT)
X-Received: by 2002:aca:3d89:: with SMTP id
 k131mr10205223oia.37.1556390231286;
 Sat, 27 Apr 2019 11:37:11 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!news.gegeweb.eu!gegeweb.org!usenet-fr.net!proxad.net!feeder1-2.proxad.net!209.85.166.215.MISMATCH!b2no380427itd.0!news-out.google.com!w17ni324itb.0!nntp.google.com!b2no380424itd.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Sat, 27 Apr 2019 11:37:10 -0700 (PDT)
In-Reply-To: <1a915f9c-2560-4668-9375-764271dfbffb@googlegroups.com>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=97.99.196.17;
 posting-account=zwxLlwoAAAChLBU7oraRzNDnqQYkYbpo
NNTP-Posting-Host: 97.99.196.17
References: <0ee94773-9432-4117-ae73-6763347809ea@googlegroups.com>
 <da02ec38-6c87-4e06-938e-84eb3f000e81@googlegroups.com>
 <271e5a12-9292-4078-a2b0-7bba666327ae@googlegroups.com>
 <5794bba8-6167-4648-9631-732eb0e1a5ac@googlegroups.com>
 <1a915f9c-2560-4668-9375-764271dfbffb@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <89085e24-2622-428a-ae38-e8a6197d0e08@googlegroups.com>
Subject: Re: Ada programmers: Edward Fish - interview
From: Optikos <optikos@verizon.net>
Injection-Date: Sat, 27 Apr 2019 18:37:11 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Xref: reader01.eternal-september.org comp.lang.ada:56201
Date: 2019-04-27T11:37:10-07:00
List-Id: <comp.lang.ada>

On Friday, April 26, 2019 at 5:41:06 PM UTC-5, Shark8 wrote:
> On Friday, April 26, 2019 at 12:52:46 PM UTC-6, Optikos wrote:
> > Or is it TRW's SEMANOL?  Would SEMANOL+Ada sufficiently approximate Z+M=
etaOCaml as a stepwise-refinement multistage-programming environment for ge=
nerator of code generator of =E2=80=A6 of code generator?
>=20
> I have no idea; other than that abstract/paper I don't think I've seen Se=
manol referred to anywhere.=20

There is a companion report describing much of SEMANOL(76) (i.e., 1976) for=
 the Air Force's contract to TRW.  This was extensions to the SEMANOL(73) (=
i.e., 1973) that had been utilized to encode the semantics of BASIC, COBOL,=
 PASCAL, and 2 variants of JOVIAL.  It seems that the area of extension for=
 Ada between the 1973 to 1976 editions was concurrency semantics.
https://apps.dtic.mil/dtic/tr/fulltext/u2/a091682.pdf