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-7-bit X-Google-Thread: 103376,b50bc6538a649497 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2000-11-09 16:27:51 PST Path: supernews.google.com!sn-xit-02!sn-xit-03!supernews.com!europa.netcrusader.net!63.208.208.143!feed2.onemain.com!feed1.onemain.com!feeder.qis.net!yellow.newsread.com!netaxs.com!newsread.com!POSTED.monger.newsread.com!not-for-mail Message-ID: <3A09EFE5.8336F491@telepath.com> From: Ted Dennison X-Mailer: Mozilla 4.72 [en] (Windows NT 5.0; I) X-Accept-Language: en,pdf MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Subsetting Ada References: <3A02CED4.520C2768@brighton.ac.uk> <3A078B6F.D34B024B@erols.com> <8ua3m1$bru$1@nnrp1.deja.com> <3A0916BB.584C6C60@cadwin.com> <3A0952B9.34BE19D1@cadwin.com> <8udb8j$vl$1@nnrp1.deja.com> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Date: Fri, 10 Nov 2000 00:27:07 GMT NNTP-Posting-Host: 38.195.186.125 X-Complaints-To: Abuse Role , We Care X-Trace: monger.newsread.com 973816027 38.195.186.125 (Thu, 09 Nov 2000 19:27:07 EST) NNTP-Posting-Date: Thu, 09 Nov 2000 19:27:07 EST Organization: Telepath Systems (telepath.com) Xref: supernews.google.com comp.lang.ada:1971 Date: 2000-11-10T00:27:07+00:00 List-Id: Robert Dewar wrote: > In Ada I achieve that by writing in a rather simple subset > of the language (I am always amazed by the fearless behavior > of some Ada programmers in using the most complex parts of > the language without hesitation :-) Do you have a paper published somewhere on this? I'm interested because it sounds like you've gone over this with others before, and I'd be interested in reading the specifics. I do seem to remember some old posts where you mentioned that you took this approach with Gnat. But I always thought that was just so you could bootstrap it as early as possible. -- T.E.D. Home - mailto:dennison@telepath.com Work - mailto:dennison@ssd.fsi.com WWW - http://www.telepath.com/dennison/Ted/TED.html ICQ - 10545591