From: Peter Amey <peter.amey@praxis-cs.co.uk>
Subject: Re: The 1980 ACM Turing Award Lecture The Emperor's Old Clothes
Date: Wed, 19 Jun 2002 08:07:25 +0100
Date: 2002-06-19T08:07:25+01:00 [thread overview]
Message-ID: <3D102DAD.7B021147@praxis-cs.co.uk> (raw)
In-Reply-To: mailman.1024121642.26016.comp.lang.ada@ada.eu.org
Gautier direct_replies_not_read wrote:
>
> Lyle McKennot:
>
> >How about the 1980 ACM Turing Award lecture "The Emperor's Old
> >Clothes" ?
>
> Thank you, _that's_ a nice troll for today!
>
> (however, it's amusing to read it with today's eyes,
> especially what happened to the minimalist creations
> coming from ivory towers)
>
The paper was an influence on the decision to create SPARK. As the good
Professor Hoare observed there really is a nice, simple, secure language
hiding inside Ada. It is also a tribute to Ada's designers that the
creation of SPARK was possible; there is no comparable language lurking
within C++ for example.
Peter
next prev parent reply other threads:[~2002-06-19 7:07 UTC|newest]
Thread overview: 18+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-06-15 6:13 The 1980 ACM Turing Award Lecture The Emperor's Old Clothes Gautier direct_replies_not_read
2002-06-15 8:34 ` Lyle McKennot
2002-06-15 17:32 ` Gautier
2002-06-19 7:07 ` Peter Amey [this message]
-- strict thread matches above, loose matches on Subject: below --
2002-06-14 0:49 ada paper critic Immanuel Scholz
2002-06-14 1:28 ` Immanuel Scholz
2002-06-14 15:25 ` John R. Strohm
2002-06-15 4:06 ` The 1980 ACM Turing Award Lecture The Emperor's Old Clothes Lyle McKennot
2002-06-15 13:45 ` Ted Dennison
2002-06-15 13:55 ` Ed Falis
2002-06-15 15:03 ` Pat Rogers
2002-06-15 18:42 ` Jeffrey Carter
2002-06-16 22:25 ` Wes Groleau
2002-06-15 18:01 ` Robert I. Eachus
2002-06-16 1:53 ` Hyman Rosen
2002-06-17 20:06 ` Robert I. Eachus
2002-06-17 20:54 ` Hyman Rosen
2002-06-18 14:56 ` Stephen Leake
2002-06-18 17:08 ` Hyman Rosen
2002-06-16 3:15 ` Lyle McKennot
2002-06-16 3:51 ` Pat Rogers
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox