From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,d144bcd39fd2a06b
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
X-Received: by 10.66.80.34 with SMTP id o2mr5274004pax.9.1356823480846;
        Sat, 29 Dec 2012 15:24:40 -0800 (PST)
Path: 
 s9ni71651pbb.0!nntp.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newspeer1.nac.net!news.mi.ras.ru!goblin-spool!goblin1!goblin.stu.neva.ru!eternal-september.org!feeder.eternal-september.org!mx04.eternal-september.org!.POSTED!not-for-mail
From: Brian Drummond <brian@shapes.demon.co.uk>
Newsgroups: comp.lang.ada
Subject: Re: Constraint_Error from arithmetic operations
Date: Thu, 27 Dec 2012 11:11:28 +0000 (UTC)
Organization: A noiseless patient Spider
Message-ID: <kbhad0$mqc$1@dont-email.me>
References: <87r4mbrgl8.fsf@mid.deneb.enyo.de>
	<MPG.2b46340f43edd90398969f@news.zen.co.uk>
Mime-Version: 1.0
Injection-Date: Thu, 27 Dec 2012 11:11:28 +0000 (UTC)
Injection-Info: mx04.eternal-september.org;
 posting-host="dfff62e1e537b55df42008571c03e0fe";
	logging-data="23372"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1/xk4zM1Gf2GTuITAmFDiJeyocIFyVO6dw="
User-Agent: Pan/0.139 (Sexual Chocolate; GIT bf56508
	git://git.gnome.org/pan2)
Cancel-Lock: sha1:Uygq3G/3oN9f8RvEagFnLFxdj1U=
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Date: 2012-12-27T11:11:28+00:00
List-Id: <comp.lang.ada>

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