From: mockturtle <framefritti@gmail.com>
Subject: Re: Question about asynchronous calls
Date: Thu, 7 Nov 2013 11:00:55 -0800 (PST)
Date: 2013-11-07T11:00:55-08:00 [thread overview]
Message-ID: <b48c54fe-63b8-4ddd-887d-6030f5cc3fd8@googlegroups.com> (raw)
In-Reply-To: <878ux0fwvv.fsf@adaheads.sparre-andersen.dk>
On Thursday, November 7, 2013 9:18:12 AM UTC+1, Jacob Sparre Andersen wrote:
> 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
>
Thank you.
next prev parent reply other threads:[~2013-11-07 19:00 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
2013-11-07 19:00 ` mockturtle [this message]
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