From: icaldwell@dera.gov.uk (Ian Caldwell)
Subject: Re: exiting a bloc
Date: 12 Sep 2000 11:30:03 GMT
Date: 2000-09-12T11:30:03+00:00 [thread overview]
Message-ID: <8pl43r$ivi$2@trog.dera.gov.uk> (raw)
In-Reply-To: 8papum$kaf$1@nnrp1.deja.com
Just to clarify a bit more, one of the meanings of the C in C-SMART was
Certifiable and not Certified.
In article <8papum$kaf$1@nnrp1.deja.com>, r_c_chapman@my-deja.com says...
>
>
>
>Arrghh! Clarification follows:
>
>SPARK - an annotated subset of Ada from Praxis Critical Systems.
>SPARC(tm) - Computer architecture - Sun Microsystems & SPARC Itnl Inc.
>SMART - Small Ada83 runtime system from Alsys/TSP/Aonix
>C-SMART - SMART with certification package.
>
>Everybody got that!?!?!
>
>And for desserts - the shocking realisation that Robert got
>something wrong on c.l.a - Praxis certainly don't
>make a compiler for SPARK - we make a static analysis
>tool called the Examiner.
>
>SPARK is compiled with any standard Ada compiler,
>including those hosted on and/or targetting SPARC(tm)
>and or using [C-]SMART as a runtime (or RAVEN, VADSsc,
>ApexMARK, GNORT, Integrity etc. etc.)!
>
>Phew!
> - Rod, Praxis
>
>
The views expressed herein are entirely those of the writer and do
not represent the views, policy or understanding of any other person or
official body.
next prev parent reply other threads:[~2000-09-12 11:30 UTC|newest]
Thread overview: 24+ messages / expand[flat|nested] mbox.gz Atom feed top
2000-09-02 20:10 exiting a bloc Mathias Dolidon
2000-09-02 20:39 ` Mathias Dolidon
2000-09-02 21:01 ` Robert Dewar
2000-09-02 22:34 ` Mathias Dolidon
[not found] ` <86snrhkfep.fsf@acm.org>
2000-09-03 15:46 ` Mathias Dolidon
2000-09-05 17:52 ` Richard Riehle
2000-09-06 2:06 ` Ted Dennison
2000-09-06 9:41 ` Philip Anderson
2000-09-06 13:54 ` Ted Dennison
2000-09-06 21:10 ` Robert Dewar
2000-09-06 23:33 ` Ed Falis
2000-09-07 0:39 ` Robert Dewar
[not found] ` <39B72109.89DFAB8C@telepath.com>
2000-09-07 12:34 ` Ed Falis
2000-09-08 10:33 ` Ian Caldwell
2000-09-08 13:35 ` r_c_chapman
2000-09-09 1:52 ` Robert Dewar
2000-09-12 11:30 ` Ian Caldwell [this message]
2000-09-12 20:13 ` Robert Dewar
2000-09-09 1:48 ` Robert Dewar
2000-09-12 11:24 ` Ian Caldwell
2000-09-12 20:14 ` Robert Dewar
2000-09-13 8:34 ` Philip Anderson
2000-09-13 11:02 ` Peter Amey
2000-09-06 7:00 ` Ray Blaak
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox