From: Robert A Duff <bobduff@shell01.TheWorld.com>
Subject: Re: What is SPARK about?
Date: Sun, 13 Jun 2010 09:20:46 -0400
Date: 2010-06-13T09:20:46-04:00 [thread overview]
Message-ID: <wccpqzvoyq9.fsf@shell01.TheWorld.com> (raw)
In-Reply-To: hv1qq6$g1u$1@news.eternal-september.org
"J-P. Rosen" <rosen@adalog.fr> writes:
> More surprisingly, did they overlook Meteor (100% automated line 14 of
> the Parisian subway, in B+Ada) ?
And nobody wants to see an error message, "Constraint_Error on line 14".
;-)
- Bob
next prev parent reply other threads:[~2010-06-13 13:20 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-06-11 20:32 What is SPARK about? Claude
2010-06-11 23:01 ` Simon Wright
2010-06-11 23:17 ` Yannick Duchêne (Hibou57)
2010-06-12 12:16 ` Peter C. Chapin
2010-06-12 8:30 ` Phil Thornley
2010-06-12 18:09 ` Claude
2010-06-12 19:27 ` Yannick Duchêne (Hibou57)
2010-06-17 5:38 ` Claude
2010-06-13 5:37 ` J-P. Rosen
2010-06-13 8:11 ` Simon Wright
2010-06-13 13:20 ` Robert A Duff [this message]
2010-06-17 2:10 ` Claude
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox