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=0.7 required=5.0 tests=BAYES_00,MSGID_RANDY
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,7d1a6bfc6489c17b
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2000-09-08 06:50:43 PST
Path: 
 supernews.google.com!sn-xit-02!sn-east!supernews.com!news-feed.riddles.org.uk!newsfeed.direct.ca!look.ca!cpk-news-hub1.bbnplanet.com!news.gtei.net!news.maxwell.syr.edu!nntp2.deja.com!nnrp1.deja.com!not-for-mail
From: r_c_chapman@my-deja.com
Newsgroups: comp.lang.ada
Subject: Re: exiting a bloc
Date: Fri, 08 Sep 2000 13:35:20 GMT
Organization: Deja.com - Before you buy.
Message-ID: <8papum$kaf$1@nnrp1.deja.com>
References: <39B15EA8.88DB58AB@netcourrier.com> <8orprn$b46$1@nnrp1.deja.com>
 <39B532CB.73D359F8@ix.netcom.com> <39B5A8B0.56D674C6@telepath.com>
 <39B6114B.2929FA58@amsjv.com> <39B64E94.F081DCAB@telepath.com>
 <8p6bra$g6j$1@nnrp1.deja.com> <PM000370A5FE179FB4@Dogen.ne.mediaone.net>
 <39B72109.89DFAB8C@telepath.com> <PM000370B0EBA888B3@Dogen.ne.mediaone.net>
 <8paf97$ceb$1@trog.dera.gov.uk>
NNTP-Posting-Host: 193.114.91.187
X-Article-Creation-Date: Fri Sep 08 13:35:20 2000 GMT
X-Http-User-Agent: Mozilla/4.73 [en] (WinNT; U)
X-Http-Proxy: 1.0 PROXY,
 1.0 x54.deja.com:80 (Squid/1.1.22) for client 193.114.91.187
X-MyDeja-Info: XMYDJUIDr_c_chapman
Xref: supernews.google.com comp.lang.ada:546
Date: 2000-09-08T13:35:20+00:00
List-Id: <comp.lang.ada>

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.