From: "Martin Dowie" <martin.dowie@baesystems.com>
Subject: Re: Contract checking in Ada
Date: Thu, 31 Mar 2005 08:22:36 +0100
Date: 2005-03-31T08:22:36+01:00 [thread overview]
Message-ID: <424ba381$1_1@glkas0286.greenlnk.net> (raw)
In-Reply-To: d2g4bo$l0k$1@titan.btinternet.com
Martin Dowie wrote:
> I don't know if Randy is refering to the AdaUK conference that Tucker
> spoke at but - as far as I can recall - the vote went against them
> there.
Ok, found a like http://www.ada-auth.org/ai-files/grab_bag/adauk200y.zip
Check slide 39. Compared to other proposed features pre/post & invariant
were voted a lower priority by those attending (vast majority being users).
These were the only votes where no one considered them high priority.
I voted for both as 'medium' priority - I didn't buy into the idea that this
would confuse people about SPARK.
Cheers
-- Martin
next prev parent reply other threads:[~2005-03-31 7:22 UTC|newest]
Thread overview: 23+ messages / expand[flat|nested] mbox.gz Atom feed top
2005-03-30 10:46 Contract checking in Ada Tapio Kelloniemi
2005-03-30 11:18 ` Vinzent 'Gadget' Hoefler
2005-03-30 11:45 ` Georg Bauhaus
2005-03-30 12:49 ` Martin Dowie
2005-03-30 13:05 ` Tapio Kelloniemi
2005-03-30 13:42 ` Georg Bauhaus
2005-03-31 1:57 ` Randy Brukardt
2005-03-31 3:04 ` Ed Falis
2005-03-31 6:12 ` Martin Dowie
2005-03-31 7:22 ` Martin Dowie [this message]
2005-03-31 13:35 ` Tapio Kelloniemi
2005-03-31 17:38 ` Martin Dowie
2005-03-31 17:42 ` Martin Dowie
2005-04-01 2:30 ` Randy Brukardt
2005-04-01 8:02 ` Tapio Kelloniemi
2005-04-01 8:55 ` Dmitry A. Kazakov
2005-04-01 23:17 ` Randy Brukardt
2005-04-03 20:19 ` Hyman Rosen
2005-04-04 5:31 ` Randy Brukardt
2005-04-01 7:34 ` Peter Amey
2005-04-09 16:56 ` adaworks
2005-04-12 6:51 ` Duncan Sands
2005-04-12 19:29 ` Martin Dowie
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox