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

Groups > comp.compilers > #3519 > unrolled thread

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

Started by"Luke A. Guest" <laguest@archeia.com>
First post2023-08-30 18:24 +0100
Last post2023-08-30 18:24 +0100
Articles 1 — 1 participant

Back to article view | Back to comp.compilers

Contents

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

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

From"Luke A. Guest" <laguest@archeia.com>
Date2023-08-30 18:24 +0100
SubjectCommon HOL Phase 1 Reports (proposals for the Ada language)
Message-ID<23-08-007@comp.compilers>
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

[toc] | [standalone]

Back to top | Article view | comp.compilers

csiph-web