From: jbg@sei.cmu.edu (John Goodenough)
Subject: Hoare, Ada, and safety/complexity
Date: 22 Nov 89 20:54:35 GMT [thread overview]
Message-ID: <5076@fy.sei.cmu.edu> (raw)
In-Reply-To: mjl@cs.rit.edu's message of 21 Nov 89 14:35:58 GMT
There is a fairly widespread perception that Hoare's Turing Lecture represents
his complete opinion on Ada, as noted in a recent in article, Re: Ada [and the
object oriented metaphor] of 21 Nov 89 14:35:58 GMT mjl@prague.UUCP (Michael
Lutz):
>The mind boggles: Hoare's Turing Lecture concerns about the safety of
>the world have now been compounded by an order of magnitude! ...
In 1987, Hoare wrote:
...an important goal in the design of a new programming language [is] that
it should be an aid in specification, description, and design of programs
as well as in the construction of reliable code.
This was one of the main aims in the design of the language which was
later given the name Ada. As a result, the language incorporates many
excellent structural features which have proved their value in many
precursor languages such as Pascal and Pascal Plus.
The combination of many complex features into a single language has led to
an unfortunate delay in availability of production-quality
implementations. But the long wait is coming to an end, and one can now
look forward to a rapid and widespread improvement in programming
practice, both from those who use the language and from those who study
its concepts and structures.
C. A. R. Hoare
[in the Foreword to "Ada, Language and Methodology" by David A Watt, Brian
A. Wichmann, and William Findlay, Prentice-Hall, 1987.]
(Of course, the game of "proof by authority" is not all that interesting, but
if you're going to play it, ...)
John B. Goodenough Goodenough@sei.cmu.edu
Software Engineering Institute 412-268-6391
--
John B. Goodenough Goodenough@sei.cmu.edu
Software Engineering Institute 412-268-6391
next prev parent reply other threads:[~1989-11-22 20:54 UTC|newest]
Thread overview: 41+ messages / expand[flat|nested] mbox.gz Atom feed top
1989-11-14 21:24 A farewell to Ada Ted Holden
1989-11-14 22:54 ` schmidt
1989-11-15 16:06 ` Ada William Thomas Wolfe, 2847
1989-11-15 16:29 ` Ada & IBM William Thomas Wolfe, 2847
1989-11-17 15:16 ` ryer
1989-11-18 18:47 ` William Thomas Wolfe, 2847
1989-11-20 4:53 ` Jerry Callen
1989-11-19 6:05 ` Dick Dunn
1989-11-22 19:20 ` William Thomas Wolfe, 2847
1989-11-19 20:19 ` Liam R. E. Quin
1989-11-20 12:55 ` William Thomas Wolfe, 2847
1989-11-25 23:35 ` Liam R. E. Quin
1989-11-26 9:03 ` Ken Ritchie
1989-11-15 23:18 ` Ada Promises Doug Schmidt
1989-11-16 22:45 ` Ada compilers William Thomas Wolfe, 2847
1989-11-19 6:30 ` This has gotten stupid! Dick Dunn
1989-11-16 19:08 ` Ada Walter Rowe
1989-11-16 21:33 ` Ada William Thomas Wolfe, 2847
1989-11-17 18:53 ` Ada Pablo Fernicola
1989-11-18 18:55 ` Ada William Thomas Wolfe, 2847
1989-11-21 5:24 ` Ada Andrew Koenig
1989-11-22 9:54 ` Ada Mats Luthman
1989-11-22 18:44 ` Ada William Thomas Wolfe, 2847
1989-11-23 9:44 ` Ada Mats Luthman
1989-11-23 7:12 ` Ada Markku Sakkinen
1989-11-21 14:35 ` Ada [and the object oriented metaphor] mjl
1989-11-22 20:54 ` John Goodenough [this message]
1989-11-24 0:38 ` Hoare, Ada, and safety/complexity Richard Pattis
1989-11-26 6:09 ` Ada vs. C++ Paul S. R. Chisholm
1989-11-18 6:38 ` Ada Marco S Hyman
1989-11-19 7:25 ` interesting statistic Dick Dunn
1989-11-22 18:54 ` William Thomas Wolfe, 2847
1989-11-24 17:44 ` Cay Horstmann
1989-11-25 19:59 ` William Thomas Wolfe, 2847
1989-11-17 15:59 ` Ada allows one-char names (was Re: Ada) Steve Frysinger of Blue Feather Farm
1989-11-19 5:52 ` Forward into the past Dick Dunn
1989-11-20 16:47 ` Ada vs. Posix -- the battle continues mjl
1989-11-20 21:51 ` Ada & Posix William Thomas Wolfe, 2847
1989-11-21 1:06 ` William Thomas Wolfe, 2847
1989-11-15 18:55 ` A farewell to Ada Richard S D'Ippolito
1989-11-17 17:19 ` Michael Schwartz
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox