From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=0.6 required=5.0 tests=BAYES_40,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,d1df6bc3799debed
X-Google-Attributes: gid103376,public
From: hamilt2d@ncr.disa.mil
Subject: Re: Language Design Mistakes (was "not intended...")
Date: 1997/05/22
Message-ID: <5m06mm$a09@lal.interserv.com>#1/1
X-Deja-AN: 242964152
References: <337B178E.744C@this.message>
Organization: Ada Joint Program Office
Newsgroups: comp.lang.ada
Date: 1997-05-22T00:00:00+00:00
List-Id: <comp.lang.ada>



>    Anyone know of an online source for MIL-STD-1815, or whether
>    (and where) the "assert" statement can be found in a
>    (semi-)official pre-1983 Ada publication (online OR printed)?
>  
An example of an assert statement is found on page 31 of the Red Language Reference Manual dated March 1979
and a definition of an assert statement is found on page 5 - 10 of the Green Language Reference Manual dated March 1979.
These are not "official" in the DOD sense of the word.  As Bob Duff indicated, both manuals are interesting reading -- particularly 
the names listed in the acknowledgements.  

Regards,

Drew Hamilton