From: rod.chapman@praxis-cs.co.uk (Rod Chapman)
Subject: ANN: New SPARK (including RavenSPARK) definition now available
Date: 7 Oct 2003 10:46:04 -0700
Date: 2003-10-07T10:46:04-07:00 [thread overview]
Message-ID: <cf2c6063.0310070946.ccc4756@posting.google.com> (raw)
Praxis Critical Systems are pleased to announce the new definition of
the SPARK language (including RavenSPARK) is now available for
public comment.
RavenSPARK adds the tasking facilities of the Ada95 Ravenscar Profile
to the core SPARK language - probably the most significant expansion
in the expressive power and size of SPARK ever made.
In addition to the language definition, the following documents
are also available:
An idiom guide and rationale for RavenSPARK (read this first!)
A worked design exercise using RavenSPARK
A Quick Reference Chart for RavenSPARK
These documents are all available for download in PDF format
from www.sparkada.com
We welcome comments regarding SPARK from all interested parties - please
contact us at sparkinfo@praxis-cs.co.uk
Announcements regarding professional tool support for RavenSPARK, and
upgrades for buyes of the "SPARK Book" will be made shortly.
Yours,
Rod Chapman, SPARK Team, Praxis Critical Systems
next reply other threads:[~2003-10-07 17:46 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-10-07 17:46 Rod Chapman [this message]
2003-10-08 19:57 ` ANN: New SPARK (including RavenSPARK) definition now available Mike Silva
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox