From: Jacob Sparre Andersen <jacob@jacob-sparre.dk>
Subject: Re: Question about asynchronous calls
Date: Thu, 07 Nov 2013 09:18:12 +0100
Date: 2013-11-07T09:18:12+01:00 [thread overview]
Message-ID: <878ux0fwvv.fsf@adaheads.sparre-andersen.dk> (raw)
In-Reply-To: 60be5eb1-85e0-43c5-8c81-d191ee805dd3@googlegroups.com
Riccardo <framefritti@gmail.com> wrote:
> I am just beginning to use this, contracts and invariants and it turns
> out that they are amazing "bug traps."
You are welcome to pick some inspiration for your presentation from two
of my recent talks on Ada 2012:
http://www.jacob-sparre.dk/programming/Contract-based-programming.pdf
http://www.jacob-sparre.dk/programming/Alice-in-Adaland.pdf
Greetings,
Jacob
--
"Then, after a second or so, nothing continued to happen."
next prev parent reply other threads:[~2013-11-07 8:18 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-11-06 11:05 Question about asynchronous calls mockturtle
2013-11-06 18:49 ` J-P. Rosen
2013-11-06 20:40 ` mockturtle
2013-11-06 19:54 ` Shark8
2013-11-06 20:49 ` mockturtle
2013-11-07 7:46 ` Stefan.Lucks
2013-11-07 10:23 ` Predicates (was: Question about asynchronous calls) Georg Bauhaus
2013-11-07 18:59 ` Question about asynchronous calls mockturtle
2013-11-07 8:18 ` Jacob Sparre Andersen [this message]
2013-11-07 19:00 ` mockturtle
2013-11-06 20:49 ` Jeffrey Carter
2013-11-06 20:58 ` Shark8
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox