Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > comp.compilers > #3519

Common HOL Phase 1 Reports (proposals for the Ada language)

Path csiph.com!weretis.net!feeder6.news.weretis.net!news.misty.com!news.iecc.com!.POSTED.news.iecc.com!nerds-end
From "Luke A. Guest" <laguest@archeia.com>
Newsgroups comp.compilers
Subject Common HOL Phase 1 Reports (proposals for the Ada language)
Date Wed, 30 Aug 2023 18:24:25 +0100
Organization Compilers Central
Sender johnl%iecc.com
Approved comp.compilers@iecc.com
Message-ID <23-08-007@comp.compilers> (permalink)
MIME-Version 1.0
Content-Type text/plain; charset="UTF-8"
Injection-Info gal.iecc.com; posting-host="news.iecc.com:2001:470:1f07:1126:0:676f:7373:6970"; logging-data="88496"; mail-complaints-to="abuse@iecc.com"
Keywords history, Ada
Posted-Date 30 Aug 2023 17:09:58 EDT
X-submission-address compilers@iecc.com
X-moderator-address compilers-request@iecc.com
X-FAQ-and-archives http://compilers.iecc.com
Xref csiph.com comp.compilers:3519

Show key headers only | View raw


Edward Fish has managed to get the DTIC to scan in the other language's
reports.

This has been a combined effort between a few of us on IRC to try to get
the other two languages, blue and yellow released so we can see what
could've happened.

This report contains all 4 language reports.

https://apps.dtic.mil/sti/trecms/pdf/ADB950587.pdf

Back to comp.compilers | Previous | Next | Find similar


Thread

Common HOL Phase 1 Reports (proposals for the Ada language) "Luke A. Guest" <laguest@archeia.com> - 2023-08-30 18:24 +0100

csiph-web