From: <adaworks@sbcglobal.net>
Subject: Re: Contract checking in Ada
Date: Sat, 09 Apr 2005 16:56:35 GMT
Date: 2005-04-09T16:56:35+00:00 [thread overview]
Message-ID: <7PT5e.22933$zl.2469@newssvr13.news.prodigy.com> (raw)
In-Reply-To: 3b4bloF6h1fppU1@individual.net
"Peter Amey" <peter.amey@praxis-cs.co.uk> wrote in message
news:3b4bloF6h1fppU1@individual.net...
>
>
> Tapio Kelloniemi wrote:
> [snip]
> >
> > But back to my original question, how could I implement programming by
> > contract now when the designers have abandoned it in their great wisdom?
> > SPARKADA seems not to be free software, so it is not an option for me.
> >
>
> SPARK is available free for academic use if that is of any help to you.
>
One the graduate students at our school is, in fact, pursuing a thesis that
involves
SPARK and we are quite enthusiastic to see what kind of results whe will get.
We have been pleased with the generous support so far provided by Praxis in
making this effort go smoothly.
Richard Riehle
next prev parent reply other threads:[~2005-04-09 16:56 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
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 [this message]
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