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

From	"Luke A. Guest" <laguest@archeia.com>
Newsgroups	comp.compilers
Subject	Common HOL Phase 1 Reports (proposals for the Ada language)
Date	2023-08-30 18:24 +0100
Organization	Compilers Central
Message-ID	<23-08-007@comp.compilers> (permalink)

Show all headers | 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