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,1d52a75fd633fefc X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-02-24 11:24:42 PST Path: supernews.google.com!sn-xit-02!supernews.com!news.gv.tsc.tdk.com!newsfeed.berkeley.edu!ucberkeley!logbridge.uoregon.edu!newsfeed.direct.ca!look.ca!newsfeed1.earthlink.net!newsfeed2.earthlink.net!newsfeed.earthlink.net!news.mindspring.net!not-for-mail From: Marin David Condic Newsgroups: comp.lang.ada Subject: Re: Ada to C++ translator? Date: Sat, 24 Feb 2001 14:22:37 -0500 Organization: MindSpring Enterprises Message-ID: <3A9809FD.D9194D0E@acm.org> References: <3A844255.24A4DBA3@lmco.com> <3A866B28.CE67B4A0@yyy.zzz> <3A8C6AA3.3F90043D@lmco.com> <%Wvk6.102$aw5.380@www.newsranger.com> <9713k0$6ao$1@nh.pace.co.uk> <976jbu$3p4$1@nh.pace.co.uk> <3A97DFCD.3010503@acm.org> NNTP-Posting-Host: d1.56.ba.4e Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Server-Date: 24 Feb 2001 19:23:09 GMT X-Mailer: Mozilla 4.07 [en] (WinNT; I) Xref: supernews.google.com comp.lang.ada:5513 Date: 2001-02-24T19:23:09+00:00 List-Id: Thanks for the enlightment. I think my only point was that subsets of Ada existed back in '83 (or thereabouts) so there isn't something new allowed in Ada that just became available. As I recall - some of the Ada subset compilers also had the word "Ada" in them somewhere - nothing wrong with that. I recall the DoD simply having a concern that someone could start peddaling what they called "Ada" only without a full implementation. (There were dozens of compilers at the time that called themselves "Pascal" with no two exactly alike. So what did it mean to call a compiler a "Pascal" compiler?) They wanted to be sure that if someone sold you a compiler and called it "Ada" that it in fact implemented the whole of the language. I don't think the situation is much different today - just maybe not as formal. People still expect that if you label a compiler "Ada" that it has run the validation suite and implements the full language. MDC Nick Williams wrote: > Marin David Condic wrote: > > >> There's a difference between a compiler which doesn't support the full > >> language and a project choosing not to use the full language! > > > And your point would be? :-) Seriously, I understand there is a distinction, > > but I don't know that it makes any difference. SPARK is a chosen subset of > > Ada and I'd presume that if one bought the SPARK compiler that it would > > compile only the SPARK subset. (Or at least someone might choose to > > implement a compiler for SPARK that way.) > > You'd have difficulty buying the SPARK compiler; as there isn't one :-) > > From the Ada perspective, SPARK is indeed a subset; since whatever is a valid > SPARK program is also a valid Ada program, but the converse does not hold. > > However, just because an Ada program uses the subset of the Ada language which > is valid in SPARK will (most likely) not make that program valid in SPARK: the > SPARK language has a considerable variety of non-compilable statements (which > look to an Ada compiler like comments) which are not optional when constructing > SPARK programs. It also has restrictions on the use of language features which > can make it harder to prove properties of your program. > > > (SPARK doesn't call itself "Ada" and isn't validated, right?) > > Well, the 'A' in SPARK does stand for Ada ... and the only validation is > a relatively detailed and complete formal semantics of the language :-) > > Cheers, > > Nick. -- ============================================================= Marin David Condic - Pace Micro - http://www.pacemicro.com/ Send Replies To: m c o n d i c @ a c m . o r g Visit my web site at: http://www.mcondic.com/ "I'd trade it all for just a little more" -- Charles Montgomery Burns, [4F10] =============================================================