From: Jeffrey Carter <spam.jrcarter.not@spam.not.acm.org>
Subject: Re: SPARK documentation?
Date: Wed, 11 Jan 2012 09:23:21 -0700
Date: 2012-01-11T09:23:21-07:00 [thread overview]
Message-ID: <jekd1p$2vae$1@adenine.netfront.net> (raw)
In-Reply-To: <slrnjgrbo7.2sa.localhost@example.org>
On 01/11/2012 08:47 AM, usenet@postinghost.com wrote:
> Now that I saw SPARK is the only AdaCore freebie available for the SPARC
> platform I am looking for information on the SPARK subset. Can some kind
> soul please direct me to the language reference manual or whatever they're
> calling it. I searched a bit and didn't find anything that looks like an
> LRM, just some proprietary documents and I don't understand what I am
> looking at. Thanks.
Note that SPARK is a collection of tools for static analysis of code. SPARK GPL
does not include a compiler.
--
Jeff Carter
"I blow my nose on you."
Monty Python & the Holy Grail
03
--- Posted via news://freenews.netfront.net/ - Complaints to news@netfront.net ---
next prev parent reply other threads:[~2012-01-11 16:23 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-01-11 15:47 SPARK documentation? usenet
2012-01-11 16:23 ` Jeffrey Carter [this message]
2012-01-12 6:18 ` usenet
2012-01-11 16:24 ` Georg Bauhaus
2012-01-12 6:19 ` usenet
2012-01-12 2:41 ` Britt
2012-01-12 6:20 ` usenet
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox