From: Brian Drummond <brian@shapes.demon.co.uk>
Subject: Re: Constraint_Error from arithmetic operations
Date: Thu, 27 Dec 2012 11:11:28 +0000 (UTC)
Date: 2012-12-27T11:11:28+00:00 [thread overview]
Message-ID: <kbhad0$mqc$1@dont-email.me> (raw)
In-Reply-To: MPG.2b46340f43edd90398969f@news.zen.co.uk
On Thu, 27 Dec 2012 10:33:00 +0000, Phil Thornley wrote:
> In article <87r4mbrgl8.fsf@mid.deneb.enyo.de>, fw@deneb.enyo.de says...
>>
>> This is somewhat related to the recent discussion on exception
>> contracts, but I'm more interested in what can be right now (with
>> current tools).
>>
>> I recently browsed through Barnes' 2006 SPARK book
> (The publication dates of the three SPARK books are 1997, 2003, and 2012
> so I'm not sure which one you mean).
The 2003 one was reprinted (twice) in 2006 and again in 2008...
so, probably that one.
I'm curious how large the differences are for the 2012 version - at the
moment I would have to think twice about buying it again!
- Brian
next prev parent reply other threads:[~2012-12-27 11:11 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-12-27 9:26 Constraint_Error from arithmetic operations Florian Weimer
2012-12-27 10:33 ` Phil Thornley
2012-12-27 11:11 ` Brian Drummond [this message]
2012-12-27 13:19 ` Florian Weimer
2012-12-27 15:38 ` Phil Thornley
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox