From: Ted Dennison <dennison@telepath.com>
Subject: Subsetting Ada
Date: Fri, 10 Nov 2000 00:27:07 GMT
Date: 2000-11-10T00:27:07+00:00 [thread overview]
Message-ID: <3A09EFE5.8336F491@telepath.com> (raw)
In-Reply-To: 8udb8j$vl$1@nnrp1.deja.com
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
next prev parent reply other threads:[~2000-11-10 0:27 UTC|newest]
Thread overview: 164+ messages / expand[flat|nested] mbox.gz Atom feed top
2000-11-03 14:42 if statements sc297
2000-11-03 0:00 ` David Starner
2000-11-07 0:00 ` John English
2000-11-13 0:00 ` Dale Pontius
2000-11-03 16:09 ` Larry Kilgallen
2000-11-03 0:00 ` tmoran
2000-11-03 0:00 ` David Starner
2000-11-05 0:00 ` tmoran
2000-11-06 0:00 ` David Starner
2000-11-08 0:14 ` Alejandro R. Mosteo
2000-11-08 0:00 ` Alejandro Villanueva
2000-11-08 0:00 ` Georg Bauhaus
2000-11-09 3:50 ` Ken Garlington
2000-11-07 0:00 ` John English
2000-11-03 0:00 ` Larry Kilgallen
2000-11-06 0:00 ` Brian Orpin
2000-11-07 0:00 ` John English
2000-11-08 5:22 ` Ken Garlington
2000-11-06 0:00 ` Daniel Allex
2000-11-07 0:00 ` dmitry6243
2000-11-07 0:00 ` Jean-Pierre Rosen
2000-11-08 0:00 ` dmitry6243
2000-11-07 0:00 ` Robert Dewar
2000-11-07 0:00 ` Larry Kilgallen
2000-11-08 0:00 ` Ada student homework ? Nicolas Brunot
2000-11-08 0:00 ` Larry Kilgallen
2000-11-08 0:00 ` Nicolas Brunot
2000-11-08 0:00 ` Brian Rogoff
2000-11-09 0:00 ` Nicolas Brunot
2000-11-09 0:00 ` Robert Dewar
2000-11-10 0:08 ` Ehud Lamm
2000-11-10 0:00 ` Brian Rogoff
2000-11-08 0:00 ` Lao Xiao Hai
2000-11-09 0:00 ` Nicolas Brunot
2000-11-09 0:00 ` Lao Xiao Hai
2000-11-10 0:00 ` Nicolas Brunot
2000-11-10 0:00 ` Marin David Condic
2000-11-10 0:00 ` Randy Brukardt
2000-11-11 0:00 ` Marin David Condic
2000-11-15 0:00 ` Lao Xiao Hai
2000-11-18 0:00 ` Robert Dewar
2000-11-18 0:00 ` tmoran
2000-11-19 0:00 ` Robert Dewar
2000-11-19 0:00 ` tmoran
2000-11-19 0:00 ` Robert Dewar
2000-11-20 0:16 ` tmoran
2000-11-20 0:00 ` Portability accross compilers Nicolas Brunot
2000-11-20 0:00 ` Robert Dewar
2000-11-20 3:18 ` Ada student homework ? Robert Dewar
2000-11-20 5:55 ` tmoran
2000-11-20 0:00 ` Robert Dewar
2000-11-20 0:00 ` Wes Groleau
2000-11-19 0:00 ` Lao Xiao Hai
2000-11-10 0:00 ` Ole-Hjalmar Kristensen
2000-11-10 0:00 ` Nicolas Brunot
2000-11-10 0:00 ` David Starner
2000-11-11 0:00 ` Robert Dewar
2000-11-13 0:00 ` Nicolas Brunot
2000-11-11 0:00 ` Robert Dewar
2000-11-13 0:00 ` gdemont
2000-11-10 0:00 ` mjsilva
2000-11-10 0:00 ` Nicolas Brunot
2000-11-10 0:00 ` Larry Kilgallen
2000-11-10 0:00 ` Nicolas Brunot
2000-11-10 0:00 ` Dan Nagle
2000-11-10 0:00 ` Nicolas Brunot
2000-11-10 0:00 ` Larry Kilgallen
2000-11-10 0:00 ` Nicolas Brunot
2000-11-11 0:00 ` Robert Dewar
2000-11-12 6:54 ` Brian Rogoff
2000-11-12 0:00 ` Robert Dewar
2000-11-11 0:00 ` Robert Dewar
2000-11-13 0:00 ` Nicolas Brunot
2000-11-13 0:00 ` Robert Dewar
2000-11-13 0:00 ` Ken Garlington
2000-11-13 0:00 ` gdemont
2000-11-13 0:00 ` Ada student homework ?[OS/2 Comments] tjerick
2000-11-14 0:00 ` Ada student homework ? Georg Bauhaus
2000-11-14 5:16 ` Robert Dewar
2000-11-14 0:00 ` Nicolas Brunot
2000-11-15 0:00 ` Robert Dewar
2000-11-15 0:00 ` Ada student homework ? I give up Nicolas Brunot
2000-11-15 0:00 ` Robert Dewar
2000-11-14 0:00 ` Ada student homework ? John English
2000-11-14 0:00 ` gdemont
2000-11-14 0:00 ` Ole-Hjalmar Kristensen
2000-11-13 0:00 ` Nicolas Brunot
2000-11-13 0:00 ` Pascal Obry
2000-11-13 0:00 ` gdemont
2000-11-14 0:00 ` dmitry6243
2000-11-15 0:00 ` Larry Kilgallen
[not found] ` <3A0FCBAD.824095C6@cadwin.cOrganization: LJK Software <5E93Ivxu6GwO@eisner.decus.org>
2000-11-18 0:00 ` Robert Dewar
2000-11-20 0:00 ` Wes Groleau
2000-11-20 0:00 ` Larry Kilgallen
2000-11-08 0:00 ` Chad R. Meiners
2000-11-08 0:00 ` Ted Dennison
2000-11-09 5:11 ` Robert Dewar
2000-11-18 0:00 ` John Magness
2000-11-09 5:04 ` Robert Dewar
2000-11-10 0:27 ` Ted Dennison [this message]
2000-11-08 0:00 ` Robert Dewar
2000-11-08 0:00 ` Nicolas Brunot
2000-11-08 0:00 ` Ted Dennison
2000-11-08 0:00 ` Nicolas Brunot
2000-11-08 0:00 ` Jerry Petrey
2000-11-08 0:00 ` Lao Xiao Hai
2000-11-09 0:00 ` Marin David Condic
2000-11-10 2:15 ` Ken Garlington
2000-11-10 0:00 ` Marin David Condic
2000-11-18 0:00 ` John Magness
2000-11-19 0:00 ` Robert Dewar
2000-11-19 0:00 ` Larry Kilgallen
2000-11-20 0:00 ` John English
[not found] ` <3A2827A9.B54C260@ebox.tninet.se>
[not found] ` <1dtW5.25958$6W1.1458704@news.flash.net>
2000-12-12 20:52 ` Stefan Skoglund
[not found] ` <dKo%5.144$PE5.16970@read2.inet.fi>
2000-12-19 16:36 ` election chit-chat (was Re: Ada student homework ?) Robert Dewar
2000-11-08 0:00 ` Ada student homework ? Larry Kilgallen
2000-11-08 0:00 ` Nicolas Brunot
2000-11-14 0:00 ` Ronald Cole
2000-11-08 0:00 ` if statements Alejandro Villanueva
2000-11-08 0:00 ` Daniel Allex
2000-11-09 3:54 ` Ken Garlington
2000-11-09 5:24 ` Robert Dewar
2000-11-09 0:00 ` constants v variables (was Re: if statements) Martin Dowie
2000-11-09 0:00 ` Robert A Duff
2000-11-09 0:00 ` Florian Weimer
2000-11-10 2:13 ` Ken Garlington
2000-11-10 5:59 ` Brian Rogoff
2000-11-09 0:00 ` Martin Dowie
2000-11-09 0:00 ` Robert Dewar
2000-11-09 0:00 ` Robert Dewar
2000-11-09 0:00 ` if statements Marin David Condic
2000-11-09 0:00 ` Robert Dewar
2000-11-10 0:00 ` Larry Kilgallen
2000-11-10 1:58 ` Ken Garlington
2000-11-10 3:53 ` Robert Dewar
2000-11-09 0:00 ` Ken Garlington
2000-11-09 0:00 ` Robert Dewar
2000-11-10 0:12 ` Ehud Lamm
2000-11-10 2:09 ` Ken Garlington
2000-11-20 0:00 ` Wes Groleau
2000-11-20 0:00 ` Wes Groleau
2000-11-21 0:00 ` Robert Dewar
2000-11-22 0:00 ` Wes Groleau
2000-11-07 0:00 ` Wes Groleau
2000-11-08 0:00 ` John English
2000-11-08 0:00 ` Wes Groleau
2000-11-09 3:43 ` Ken Garlington
2000-11-07 0:00 ` Ken Garlington
2000-11-07 0:00 ` John English
2000-11-07 0:00 ` Robert Dewar
2000-11-08 0:00 ` John English
2000-11-08 0:00 ` Georg Bauhaus
2000-11-09 4:58 ` Robert Dewar
2000-11-09 0:00 ` Ken Garlington
2000-11-09 0:00 ` Designing test suites (was: if statements) Larry Kilgallen
2000-11-09 0:00 ` if statements John English
2000-11-08 5:29 ` Ken Garlington
2000-11-08 0:00 ` John English
2000-11-08 0:00 ` Ken Garlington
2000-11-07 0:00 ` John English
2000-11-07 0:00 ` John English
2000-11-07 0:00 ` Robert Dewar
2000-11-10 6:09 ` DJack143
2000-11-11 0:00 ` Here we go again (Was: if statements) Frank Christiny
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox