* ANN: New SPARK (including RavenSPARK) definition now available
@ 2003-10-07 17:46 Rod Chapman
2003-10-08 19:57 ` Mike Silva
0 siblings, 1 reply; 2+ messages in thread
From: Rod Chapman @ 2003-10-07 17:46 UTC (permalink / 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
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: ANN: New SPARK (including RavenSPARK) definition now available
2003-10-07 17:46 ANN: New SPARK (including RavenSPARK) definition now available Rod Chapman
@ 2003-10-08 19:57 ` Mike Silva
0 siblings, 0 replies; 2+ messages in thread
From: Mike Silva @ 2003-10-08 19:57 UTC (permalink / raw)
Great stuff for all of us who value life and limb!
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2003-10-08 19:57 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2003-10-07 17:46 ANN: New SPARK (including RavenSPARK) definition now available Rod Chapman
2003-10-08 19:57 ` Mike Silva
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox