From: Paul Rubin <no.email@nospam.invalid>
Subject: Re: Ada 2012 talk at DANSAS'13
Date: Thu, 15 Aug 2013 03:33:20 -0700
Date: 2013-08-15T03:33:20-07:00 [thread overview]
Message-ID: <7xzjsjckgf.fsf@ruckus.brouhaha.com> (raw)
In-Reply-To: 87mwojxs80.fsf@adaheads.sparre-andersen.dk
Jacob Sparre Andersen <jacob@jacob-sparre.dk> writes:
> Our experience so far is that GNAT-GPL-2013... only implements
> static (compile-time) checking of contracts and aspects where it is
> required by the language standard.
Does SPARK-2014 help? I'm not sure if it exists yet, but I gather
GNATProve (which is out there) is some kind of precursor to it.
Disclaimer: I'm interested in trying this stuff out, but I don't really
know anything about it yet, beyond having looked at a few web pages.
next prev parent reply other threads:[~2013-08-15 10:33 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-08-15 8:39 Ada 2012 talk at DANSAS'13 Jacob Sparre Andersen
2013-08-15 10:33 ` Paul Rubin [this message]
2013-08-15 13:02 ` SPARK vs. Ada 2012 for static analysis (Was: Ada 2012 talk at DANSAS'13) Jacob Sparre Andersen
2013-08-15 14:01 ` Shark8
2013-08-15 17:18 ` SPARK vs. Ada 2012 for static analysis Paul Rubin
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox