This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] C undefined behavior fix
- From: Paul Koning <pkoning at equallogic dot com>
- To: mrs at windriver dot com
- Cc: gcc at gcc dot gnu dot org
- Date: Wed, 9 Jan 2002 10:46:50 -0500 (EST)
- Subject: Re: [PATCH] C undefined behavior fix
- References: <200201090151.RAA04843@kankakee.wrs.com>
>>>>> "mike" == mike stump <mrs@windriver.com> writes:
mike> One cure, is a completely formal language. Do you know of any
mike> real languages that are? By real, I mean a real language that
mike> is used to code real programs and used in the real world. I
mike> don't.
I can think of a bunch. Algol 68 is perhaps the most prominent
example (interesting, for one thing, because a lot of C++ features
were inspired by Algol 68). PL/1 perhaps (at least when you consider
the IBM Zurich research lab work, I don't remember the author's name).
And the ANSI APL standard appears to be pretty close.
paul