From: Optikos <optikos@verizon.net>
Subject: Re: Ada programmers: Edward Fish - interview
Date: Sat, 27 Apr 2019 11:37:10 -0700 (PDT)
Date: 2019-04-27T11:37:10-07:00 [thread overview]
Message-ID: <89085e24-2622-428a-ae38-e8a6197d0e08@googlegroups.com> (raw)
In-Reply-To: <1a915f9c-2560-4668-9375-764271dfbffb@googlegroups.com>
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+MetaOCaml as a stepwise-refinement multistage-programming environment for generator of code generator of … of code generator?
>
> I have no idea; other than that abstract/paper I don't think I've seen Semanol referred to anywhere.
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
next prev parent reply other threads:[~2019-04-27 18:37 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-04-10 7:47 Ada programmers: Edward Fish - interview Tomek Wałkuski
2019-04-26 3:17 ` Optikos
2019-04-26 16:20 ` Shark8
2019-04-26 18:52 ` Optikos
2019-04-26 22:41 ` Shark8
2019-04-27 18:37 ` Optikos [this message]
2019-05-09 22:02 ` Optikos
2019-05-10 8:06 ` Simon Wright
2019-05-10 8:50 ` tranngocduong
2019-05-12 18:25 ` Lucretia
2019-05-10 15:32 ` Optikos
2019-05-12 14:46 ` Optikos
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox