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.4 required=5.0 tests=AC_FROM_MANY_DOTS,BAYES_00 autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,de555fb9935cdff1 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-06-08 07:26:36 PST Path: archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!isdnet!psinet-france!psiuk-f4!psiuk-p4!uknet!psiuk-n!news.pace.co.uk!nh.pace.co.uk!not-for-mail From: "Marin David Condic" Newsgroups: comp.lang.ada Subject: Re: Restructuring of Ada (was RE: Ada on Cypress CY7C646 (8051)?) Date: Fri, 8 Jun 2001 10:01:18 -0400 Organization: Posted on a server owned by Pace Micro Technology plc Message-ID: <9fqlrg$nbe$1@nh.pace.co.uk> References: <9fohvp$mp$1@nh.pace.co.uk> <3B209AB8.51ECEEFA@amsjv.com> NNTP-Posting-Host: 136.170.200.133 X-Trace: nh.pace.co.uk 992008880 23918 136.170.200.133 (8 Jun 2001 14:01:20 GMT) X-Complaints-To: newsmaster@pace.co.uk NNTP-Posting-Date: 8 Jun 2001 14:01:20 GMT X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 5.50.4522.1200 X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4522.1200 Xref: archiver1.google.com comp.lang.ada:8413 Date: 2001-06-08T14:01:20+00:00 List-Id: I was thinking about SPARK while writing the post. Its a fair example of subsetting Ada - except for the catch that you observe: SPARK is intended to avoid "dangerous" constructs within an existing implementation of Ada. I could use SPARK when doing safety critical programming on a PC or Unix system with an existing compiler with little or no special compiler modifications. A language aimed at small computers would pretty much require that a special compiler be built. (Or at least you'd have to heavily modify an existing compiler to accept only some subset of Ada as input and to generate the machine code for the computer of interest.) MDC -- Marin David Condic Senior Software Engineer Pace Micro Technology Americas www.pacemicro.com Enabling the digital revolution e-Mail: marin.condic@pacemicro.com Web: http://www.mcondic.com/ "Philip Anderson" wrote in message news:3B209AB8.51ECEEFA@amsjv.com... > > 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? >