From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: fac41,4570768c95b1d562,start X-Google-Attributes: gidfac41,public X-Google-Thread: 115aec,4570768c95b1d562,start X-Google-Attributes: gid115aec,public X-Google-Thread: 103376,4570768c95b1d562,start X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-10-07 10:46:05 PST Path: archiver1.google.com!postnews1.google.com!not-for-mail From: rod.chapman@praxis-cs.co.uk (Rod Chapman) Newsgroups: comp.lang.ada,comp.lang.eiffel,comp.realtime Subject: ANN: New SPARK (including RavenSPARK) definition now available Date: 7 Oct 2003 10:46:04 -0700 Organization: http://groups.google.com Message-ID: NNTP-Posting-Host: 62.173.119.178 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Trace: posting.google.com 1065548765 23334 127.0.0.1 (7 Oct 2003 17:46:05 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Tue, 7 Oct 2003 17:46:05 +0000 (UTC) Xref: archiver1.google.com comp.lang.ada:385 comp.lang.eiffel:32 comp.realtime:7701 Date: 2003-10-07T10:46:04-07:00 List-Id: 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