Re: exiting a bloc

[r_c_chapman@my-deja.com]

In article <8paf97$ceb$1@trog.dera.gov.uk>,
  icaldwell@dera.gov.uk (Ian Caldwell) wrote:
> At least one of the Alsys 'SMART' system, that was produced for one
customer,
> had the requirment to compile the SPARK subset of Ada. I think that
all the
> Alsys 'SMART' system would compile the SPARK subset of Ada.

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


Sent via Deja.com http://www.deja.com/
Before you buy.