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
X-Google-Thread: 103376,de555fb9935cdff1
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-06-08 02:32:59 PST
Message-ID: <3B209AB8.51ECEEFA@amsjv.com>
Date: Fri, 08 Jun 2001 10:28:24 +0100
From: Philip Anderson <phil.anderson@amsjv.com>
Organization: Alenia Marconi Systems ISD
X-Mailer: Mozilla 4.7 [en] (WinNT; I)
X-Accept-Language: en
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Restructuring of Ada (was RE: Ada on Cypress CY7C646 (8051)?)
References: <mailman.991936511.7654.comp.lang.ada@ada.eu.org>
 <9fohvp$mp$1@nh.pace.co.uk>
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: 8bit
NNTP-Posting-Host: cwmwkn0612.cwmbran.gecm.com
X-Trace: 8 Jun 2001 10:19:52 GMT, cwmwkn0612.cwmbran.gecm.com
Path: 
 archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!skynet.be!dispose.news.demon.net!demon!btnet-peer0!btnet-feed5!btnet!newreader.ukcore.bt.net!pull.gecm.com!cwmwkn0612.cwmbran.gecm.com
Xref: archiver1.google.com comp.lang.ada:8388
Date: 2001-06-08T10:28:24+01:00
List-Id: <comp.lang.ada>

Marin David Condic wrote:
<snip> 
> Maybe the answer is to define a language (Call it "Soren" after one of my
> favorite philosophers?) that is effectively a subset of Ada and just not
> expect it to have anything to do with Ada, except for always trailing the
> Ada standard around. If we picked the chapters/verses of the ARM that had no
> unreasonable limitations for small machines as the standard for "Soren" and
> ignored the rest, you'd effectively have a language that could pass through
> any Ada compiler and work, yet could be the subject of specialized compilers
> aimed at small machines.

Replace "small machines" with "safety-related systems" and you'll get
the rationale for SPARK.  It's a subset of Ada, since certain constructs
are not allowed, although extended by annotations in the form of Ada
comments.  So it passes through any Ada compiler, which generates the
required assembly code, but the SPARK rules are checked by SPARK tools.

Of course, it's not quite the same since you need a specialist compiler
to generate the small machine code, but I wonder whether an Ada compiler
generating C as an intermediate level is an answer?


-- 
hwyl/cheers,
Philip Anderson
Alenia Marconi Systems
Cwmbr�n, Cymru/Wales