Re: Lack of formal syntax undermines Ada

[dirk@cs.kuleuven.ac.be (Dirk Craeynest)]

In article <ea84dc3f-a0c6-4c05-aa08-5cf434c30e15@b9g2000prh.googlegroups.com>,
Adam Beneschan <adam@irvine.com> wrote:
[...]
>There was an early, pre-1983, version of Ada that had a rule that
>functions couldn't have side effects; [...] I haven't looked to see
>if this draft version of Ada exists somewhere on the Internet.

A reference manual for this pre-1983 Ada was published by Springer in the
LNCS series.  Here is the relevant info if you would like to try retrieving
the book in a library:

The Programming Language Ada Reference Manual
Proposed Standard Document United States Department of Defense
Book Series         Lecture Notes in Computer Science
Publisher           Springer Berlin / Heidelberg
ISSN                0302-9743 (Print) 1611-3349 (Online)
Volume              Volume 106/1980
DOI                 10.1007/3-540-10693-6
Copyright           1980
ISBN                978-3-540-10693-7
Subject Collection  Computer Science
SpringerLink Date   Friday, January 20, 2006

If you have or can yet access to Springer's on-line archive you can
download PDF versions of all chapters [1].  What Springer calls "Front
Matter" [2] and "Back Matter" [3] is freely available there (though the
former contains the wrong title page).

[1] <http://www.springerlink.com/content/un24t0851755/>
[2] <http://www.springerlink.com/content/un24t0851755/front-matter.pdf>
[3] <http://www.springerlink.com/content/un24t0851755/back-matter.pdf>

HTH

Dirk
Dirk.Craeynest@cs.kuleuven.be (for Ada-Belgium/-Europe/SIGAda/WG9 mail)

*** 13th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2008
*** June 16-20, 2008 ** Venice, Italy ** http://www.ada-europe.org ***