From: Rod Chapman <roderick.chapman@googlemail.com>
Subject: Re: installing SPARK GPL on Windows
Date: Sun, 8 Aug 2010 04:12:06 -0700 (PDT)
Date: 2010-08-08T04:12:06-07:00 [thread overview]
Message-ID: <04c7dbc6-1c32-400e-926c-618c9bd1998d@g19g2000yqc.googlegroups.com> (raw)
In-Reply-To: 651cc933-09eb-40b4-b5f6-b04a95d58c3e@h28g2000yqd.googlegroups.com
On Aug 7, 8:37 pm, Phil Thornley <phil.jpthorn...@gmail.com> wrote:
> Ahhh, you definitely need to read a bit more about SPARK. Start with
> the SPARK_LRM in SPARK\2010\docs which has all the background and
> rationale for the language.
The SPARK LRM is not really designed for novices. Much better to start
with
John Barnes' book (most obviously available from amazon.co.uk) or
with the Tokeneer download package and the Tokeneer Discovery Tutorial
package that we did - both available from www.adacore.com/tokeneer
- Rod, SPARK Team
next prev parent reply other threads:[~2010-08-08 11:12 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-08-07 17:43 installing SPARK GPL on Windows Ada novice
2010-08-07 19:37 ` Phil Thornley
2010-08-07 21:00 ` Ada novice
2010-08-08 11:12 ` Rod Chapman [this message]
2010-08-08 11:44 ` Ada novice
2010-08-08 11:48 ` Ada novice
2010-08-07 20:30 ` Yannick Duchêne (Hibou57)
2010-08-07 21:04 ` Ada novice
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox