From: kst@sd.aonix.com (Keith Thompson)
Subject: Re: Ada95 to ANSI_C converter
Date: 1997/04/04
Date: 1997-04-04T00:00:00+00:00 [thread overview]
Message-ID: <E840C7.LCr@thomsoft.com> (raw)
In-Reply-To: E80s46.H1D@world.std.com
In <E80s46.H1D@world.std.com> bobduff@world.std.com (Robert A Duff) writes:
> In article <dewar.859987799@merv>, Robert Dewar <dewar@merv.cs.nyu.edu> wrote:
> >One thing that would complicate this particular project substantially is
> >the testing. Since the idea is to get something that works on all C compilers
> >on all machines, reasonably thorough testing means playing on lots of
> >different machines, which always adds a lot of effort.
>
> I suspect you'd spend most of your time working around bugs and
> limitations in various C compilers, given that the output of this tool
> would be C written in an "unusual" style, and thus not well exercised in
> C compilers.
Which suggests that this could be an interesting way to generate nasty
test cases for C compilers. I wonder how hard it would be to do the
same kind of thing for Ada compilers.
(I *like* nasty test cases.)
--
Keith Thompson (The_Other_Keith) kst@sd.aonix.com <http://www.aonix.com> <*>
TeleSo^H^H^H^H^H^H Alsy^H^H^H^H Thomson Softw^H^H^H^H^H^H^H^H^H^H^H^H^H Aonix
5040 Shoreham Place, San Diego, CA, USA, 92122-5989
"Humor is such a subjective thing." -- Cartagia
next prev parent reply other threads:[~1997-04-04 0:00 UTC|newest]
Thread overview: 63+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <5hbrah$ctt$1@gail.ripco.com>
1997-03-26 0:00 ` Ada95 to ANSI_C converter Nick Roberts
1997-03-26 0:00 ` Robert Dewar
1997-03-27 0:00 ` Jennifer E. Lee
1997-03-28 0:00 ` Craig Franck
1997-03-28 0:00 ` Robert Dewar
1997-03-28 0:00 ` Steve Doiel
1997-03-28 0:00 ` Robert Dewar
1997-04-02 0:00 ` Richard Kenner
1997-04-02 0:00 ` Robert Dewar
1997-04-02 0:00 ` Richard Kenner
1997-04-02 0:00 ` Robert Dewar
1997-04-02 0:00 ` Robert A Duff
1997-04-04 0:00 ` Keith Thompson [this message]
1997-04-04 0:00 ` Robert Dewar
1997-04-07 0:00 ` Arthur Schwarz
1997-04-07 0:00 ` Peter Seebach
1997-04-07 0:00 ` Kaz Kylheku
1997-04-07 0:00 ` Robert Dewar
1997-04-08 0:00 ` Robert A Duff
1997-04-08 0:00 ` Keith Thompson
1997-04-02 0:00 ` Richard Kenner
1997-04-03 0:00 ` Fergus Henderson
1997-03-27 0:00 ` Jennifer E. Lee
1997-03-27 0:00 ` Philip Johnson
1997-04-01 0:00 ` Jennifer E. Lee
1997-04-02 0:00 ` Philip E. Johnson
1997-04-03 0:00 ` Jon S Anthony
1997-03-28 0:00 ` Robert Dewar
1997-03-28 0:00 ` Craig Franck
1997-03-28 0:00 ` Robert Dewar
1997-04-01 0:00 ` Tom Wheeley
1997-04-01 0:00 ` David Kristola
1997-04-01 0:00 ` Jennifer E. Lee
1997-03-27 0:00 ` Craig Franck
1997-03-27 0:00 ` Jennifer E. Lee
1997-04-01 0:00 ` Robert I. Eachus
1997-03-27 0:00 ` Jeff Carter
1997-03-28 0:00 ` Jon S Anthony
1997-03-28 0:00 ` Jon S Anthony
1997-03-28 0:00 ` Robert Dewar
1997-04-02 0:00 ` Jon S Anthony
1997-04-03 0:00 ` Robert Dewar
1997-04-04 0:00 ` Jon S Anthony
1997-04-03 0:00 ` Jon S Anthony
1997-04-03 0:00 ` Robert Dewar
1997-04-03 0:00 ` Robert A Duff
1997-04-03 0:00 ` Robert Dewar
1997-04-04 0:00 ` Jon S Anthony
1997-04-04 0:00 ` Robert Dewar
1997-04-04 0:00 ` Robert Dewar
1997-04-07 0:00 ` Jon S Anthony
1997-04-07 0:00 ` Jon S Anthony
1997-03-31 0:00 ` Jon S Anthony
1997-03-31 0:00 ` Robert Dewar
1997-04-01 0:00 ` Robert A Duff
1997-03-31 0:00 ` David Emery
1997-04-03 0:00 ` Jon S Anthony
1997-04-03 0:00 ` Jennifer E. Lee
1997-04-04 0:00 ` Howard W. LUDWIG
1997-04-16 0:00 Dan Lehman
1997-04-17 0:00 ` Robert Dewar
1997-04-20 0:00 ` Nick Roberts
1997-04-20 0:00 ` Robert Dewar
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox