From: Paul Rubin <no.email@nospam.invalid>
Subject: Re: SPARK vs. Ada 2012 for static analysis
Date: Thu, 15 Aug 2013 10:18:42 -0700
Date: 2013-08-15T10:18:42-07:00 [thread overview]
Message-ID: <7xwqnmvpn1.fsf@ruckus.brouhaha.com> (raw)
In-Reply-To: 87eh9vxg2u.fsf_-_@adaheads.sparre-andersen.dk
Jacob Sparre Andersen <jacob@jacob-sparre.dk> writes:
> As I see things, the important place for complete static analysis
> (i.e. SPARK)
I didn't have the impression SPARK does -complete- static analysis, but
just that it did more than plain Ada does. You have a reasonable amount
of control over what it does statically.
prev parent reply other threads:[~2013-08-15 17:18 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
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 ` Paul Rubin [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox