From: g_harrison@vger.nsu.edu (George C. Harrison, Norfolk State University)
Subject: Re: What is Ada9x?SKIP/NEWSGROUP
Date: 3 Apr 91 23:39:09 GMT [thread overview]
Message-ID: <804.27fa2f5d@vger.nsu.edu> (raw)
In-Reply-To: jls.670622633@rutabaga
In article <jls.670622633@rutabaga>, jls@rutabaga.Rational.COM (Jim Showalter) writes:
>>So what is Ada9x?. (I am a know-nothing student, interested
>>in Ada). 8-)
[lots of nice stuff]
> distribution, starting step #3. A summary of some of the goodies:
>
[etc.]
> 11) Assertions.
[etc.]
Please excuse my ignorance (as always) but..
I have not heard about this being in Ada9x. I understand that it was in the
original pre-standard Ada and later rejected.
We academical types would certainly love to see it again.
If this is indeed the case, does anyone have the [proposed] syntax for the
assertions? And, if so, are the syntax diagrams the same as they were in the
pre-standard days?
George.......
-- George C. Harrison -----------------------
----- Professor of Computer Science -----------------------
----- Norfolk State University -----------------------
----- 2401 Corprew Avenue, Norfolk, Virginia 23504 -----------------------
----- INTERNET: g_harrison@vger.nsu.edu ---------------------------------
prev parent reply other threads:[~1991-04-03 23:39 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
1991-04-01 20:30 What is Ada9x? Donald Tyzuk
1991-04-02 4:50 ` Michael Feldman
1991-04-02 20:03 ` Jim Showalter
1991-04-03 23:39 ` George C. Harrison, Norfolk State University [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox