From: "Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>
Subject: Re: Spark and the Ada numerics annex
Date: Tue, 10 Aug 2010 15:04:28 +0200
Date: 2010-08-10T15:04:28+02:00 [thread overview]
Message-ID: <op.vg73xqy6xmjfy8@garhos> (raw)
In-Reply-To: a8421c86-2cc1-4d8c-8752-d1c2522e94df@s9g2000yqd.googlegroups.com
Le Tue, 10 Aug 2010 14:28:58 +0200, Ada novice <ycalleecharan@gmx.com> a
écrit:
> Vous etes francophone si je ne me trompe pas et je vous remercie pour
> toutes ces informations.
Yes I am (no body's perfect, and I would be the last). If you would like,
do you know there exist a french version of this news-group ?
news:fr.comp.lang.ada if you use a news reader
or
http://groups.google.com/group/fr.comp.lang.ada/topics
if you use Google Groups
--
There is even better than a pragma Assert: a SPARK --# check.
--# check C and WhoKnowWhat and YouKnowWho;
--# assert Ada;
-- i.e. forget about previous premises which leads to conclusion
-- and start with new conclusion as premise.
next prev parent reply other threads:[~2010-08-10 13:04 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-08-10 8:48 Spark and the Ada numerics annex Ada novice
2010-08-10 10:18 ` Rod Chapman
2010-08-10 10:53 ` Ada novice
2010-08-10 11:40 ` Yannick Duchêne (Hibou57)
2010-08-10 12:09 ` Yannick Duchêne (Hibou57)
2010-08-10 12:28 ` Ada novice
2010-08-10 13:04 ` Yannick Duchêne (Hibou57) [this message]
2010-08-10 13:57 ` Ada novice
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox