[SystemSafety] A Common Programming Language for the Department of Defense

[Haim Kuper]

IMHO this is exactly what Derek is looking for.
http://www1.adacore.com/~brosgol/Fisher-P-1191.pdf

Kuper

-----Original Message-----
From: systemsafety
[mailto:systemsafety-bounces at lists.techfak.uni-bielefeld.de] On Behalf Of
Ben Brosgol
Sent: Thursday, April 27, 2017 8:44 PM
To: systemsafety at lists.techfak.uni-bielefeld.de
Subject: Re: [SystemSafety] A Common Programming Language for the Department
of Defense

One of my colleagues at IDA sent me a pdf (7.5MB):

http://www1.adacore.com/~brosgol/Fisher-P-1191.pdf

The author, Dave Fisher, was also the principal author of the various
requirements documents (Strawman etc) that eventually led to the design of
the Ada language.  I was the head of the Red language team during the design
competition; those were interesting times :-)

On 4/27/2017 12:47 PM, Derek M Jones wrote:
> All,
>
> Following a suggestion by James Inge I posted a request:
>> Try http://www.dtic.mil/dtic/contactus/askaLibrarian.html
>
> and just received a reply :-)
>
> "It appears that we do not currently have a digital copy of this 
> report available. Our current estimate is 4-6 weeks for the document 
> to be retrieved from our archives, scanned and posted on the public 
> site (http://www.dtic.mil), although it may appear sooner. Please 
> check the DTIC Public Collection (http://www.dtic.mil) for your report 
> in about 30 days and recheck weekly thereafter."
>
_______________________________________________
The System Safety Mailing List
systemsafety at TechFak.Uni-Bielefeld.DE
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20170501/afe03f28/attachment.html>