From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.acm.org>
Subject: Re: Users of the BON notation among Ada users ?
Date: Tue, 13 Jan 2009 20:22:58 GMT
Date: 2009-01-13T20:22:58+00:00 [thread overview]
Message-ID: <CK6bl.523325$yE1.502724@attbi_s21> (raw)
In-Reply-To: <vjiikg.b76.ln@hunter.axlog.fr>
Jean-Pierre Rosen wrote:
>>
> what a small head ((c)Hoare) can understand.
The small head that one must live was Dijstra.
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD01xx/EWD117.html
--
Jeff Carter
"C++: The power, elegance and simplicity of a hand grenade."
Ole-Hjalmar Kristensen
90
next prev parent reply other threads:[~2009-01-13 20:22 UTC|newest]
Thread overview: 31+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-01-09 15:38 Users of the BON notation among Ada users ? Hibou57 (Yannick Duchêne)
2009-01-10 18:06 ` Martyn Pike
2009-01-13 9:09 ` Hibou57 (Yannick Duchêne)
2009-01-12 17:50 ` Nicholas Collin Paul Gloucester
2009-01-13 9:11 ` Hibou57 (Yannick Duchêne)
2009-01-12 18:25 ` Britt Snodgrass
2009-01-12 18:34 ` Martyn Pike
2009-01-12 22:44 ` Martin
2009-01-13 7:50 ` Jean-Pierre Rosen
2009-01-13 9:10 ` Matteo Bordin
2009-01-13 9:44 ` Hibou57 (Yannick Duchêne)
2009-01-13 17:21 ` Jean-Pierre Rosen
2009-01-13 20:22 ` Jeffrey R. Carter [this message]
2009-01-14 9:05 ` Jean-Pierre Rosen
2009-01-14 18:49 ` Jeffrey R. Carter
2009-01-16 16:24 ` Nicholas Collin Paul Gloucester
2009-01-19 9:10 ` Jean-Pierre Rosen
2009-01-12 22:49 ` sjw
2009-01-12 22:52 ` Martin
2009-01-13 9:31 ` Hibou57 (Yannick Duchêne)
2009-01-13 9:48 ` hesobreira
2009-01-13 16:23 ` Martin
2009-01-13 17:17 ` Hibou57 (Yannick Duchêne)
2009-01-13 9:19 ` Hibou57 (Yannick Duchêne)
2009-01-12 23:01 ` sjw
2009-01-13 9:38 ` Hibou57 (Yannick Duchêne)
2009-01-13 12:10 ` Georg Bauhaus
2009-01-13 17:14 ` Hibou57 (Yannick Duchêne)
2009-01-19 12:22 ` Brian Drummond
2009-01-20 18:44 ` Hibou57 (Yannick Duchêne)
2009-01-21 13:23 ` Brian Drummond
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox