From: Jean-Pierre Rosen <rosen@adalog.fr>
Subject: Re: Users of the BON notation among Ada users ?
Date: Wed, 14 Jan 2009 10:05:38 +0100
Date: 2009-01-14T10:05:38+01:00 [thread overview]
Message-ID: <6t9kkg.n2i.ln@hunter.axlog.fr> (raw)
In-Reply-To: <CK6bl.523325$yE1.502724@attbi_s21>
Jeffrey R. Carter a �crit :
> Jean-Pierre Rosen wrote:
>>>
>> what a small head ((c)Hoare) can understand.
>
> The small head that one must live was Dijstra.
>
My mistake. BTW, it's Dijkstra.
--
---------------------------------------------------------
J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr
next prev parent reply other threads:[~2009-01-14 9:05 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
2009-01-14 9:05 ` Jean-Pierre Rosen [this message]
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