From: "Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>
Subject: Re: Using representation clauses in networking software
Date: Sun, 15 Aug 2010 17:31:43 +0200
Date: 2010-08-15T17:31:43+02:00 [thread overview]
Message-ID: <op.vhhj25stule2fv@garhos> (raw)
In-Reply-To: 8739ugkka6.fsf@mid.deneb.enyo.de
Le Sun, 15 Aug 2010 16:44:33 +0200, Florian Weimer <fw@deneb.enyo.de> a
écrit:
> I wonder if there has been any attempt to enhance representation
> clauses so that they are useful in this context.
What do you mean with “enhance” here ? What enhancement over a user
defined function/procedure would you expect ?
--
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-15 15:31 UTC|newest]
Thread overview: 24+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-08-15 11:33 Using representation clauses in networking software Florian Weimer
2010-08-15 13:44 ` Yannick Duchêne (Hibou57)
2010-08-15 14:32 ` Dmitry A. Kazakov
2010-08-15 14:44 ` Florian Weimer
2010-08-15 15:04 ` Dmitry A. Kazakov
2010-08-15 15:32 ` Florian Weimer
2010-08-15 16:10 ` Dmitry A. Kazakov
2010-08-15 16:40 ` Yannick Duchêne (Hibou57)
2010-08-15 17:58 ` Dmitry A. Kazakov
2010-08-15 19:11 ` Shark8
2010-08-15 19:15 ` Simon Wright
2010-08-15 20:25 ` Maciej Sobczak
2010-08-15 21:24 ` Simon Wright
2010-08-16 6:40 ` Dmitry A. Kazakov
2010-09-04 20:46 ` Florian Weimer
2010-08-15 15:39 ` Yannick Duchêne (Hibou57)
2010-08-15 15:31 ` Yannick Duchêne (Hibou57) [this message]
2010-08-15 15:30 ` Yannick Duchêne (Hibou57)
2010-08-15 16:10 ` Dmitry A. Kazakov
2010-08-16 10:57 ` Stephen Leake
2010-08-15 15:58 ` Simon Wright
2010-08-15 16:03 ` Florian Weimer
2010-08-17 3:32 ` Randy Brukardt
2010-08-16 9:12 ` anon
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox