From: mcq95@earthlink.net (Marc A. Criley)
Subject: Re: 'Write attribute vs Write procedure.
Date: 22 May 2003 06:49:57 -0700
Date: 2003-05-22T13:49:58+00:00 [thread overview]
Message-ID: <254c16a.0305220549.46d04635@posting.google.com> (raw)
In-Reply-To: x7v65o4j8y4.fsf@smaug.pushface.org
Simon Wright <simon@pushface.org> wrote in message news:<x7v65o4j8y4.fsf@smaug.pushface.org>...
> I'm not sure whether an implementation has licence to produce code
> which works "as if" this happened. What about the exceptional cases?
> (where there isn't enough room in the stream for all the elements, for
> example).
According to Robert Dewar, compilers do have such "as if" license:
"Remember that a compiler is always allowed to treat a language
definition 'as-if', which means that any generated code that makes a
compiler run the code the same way as some other way is equivalent. "
Posted 9/11/97 in comp.lang.ada.
(If you want to see the whole context of the post, do a Google groups
search in comp.lang.ada with keywords: Dewar "as if" "no semantic
effect"
The thread is titled "The Red Language". I didn't include the URL
because it's quite long and unwieldy.
Marc A. Criley
next prev parent reply other threads:[~2003-05-22 13:49 UTC|newest]
Thread overview: 26+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-05-21 0:07 'Write attribute vs Write procedure Jano
2003-05-21 0:42 ` tmoran
2003-05-21 7:48 ` Ole-Hjalmar Kristensen
2003-05-21 9:23 ` Ole-Hjalmar Kristensen
2003-05-21 16:22 ` tmoran
2003-05-22 7:51 ` Ole-Hjalmar Kristensen
2003-05-21 16:24 ` tmoran
2003-05-21 21:17 ` Simon Wright
2003-05-22 8:02 ` Ole-Hjalmar Kristensen
2003-05-22 13:49 ` Marc A. Criley [this message]
2003-05-22 20:07 ` Simon Wright
2003-05-23 6:09 ` Craig Carey
2003-05-23 19:55 ` Simon Wright
2003-05-23 20:48 ` AI-248 and counting the elements in an external file Larry Kilgallen
2003-05-23 21:12 ` Stephen Leake
2003-05-23 21:45 ` Randy Brukardt
2003-05-24 1:45 ` Larry Kilgallen
2003-05-24 22:00 ` Robert I. Eachus
2003-05-25 3:54 ` Larry Kilgallen
2003-05-27 20:19 ` Randy Brukardt
2003-05-27 20:57 ` Larry Kilgallen
2003-05-28 18:26 ` Randy Brukardt
2003-05-24 1:42 ` Larry Kilgallen
2003-05-28 21:17 ` Brian Gaffney
2003-05-28 22:06 ` Larry Kilgallen
2003-05-24 14:11 ` 'Write attribute vs Write procedure Craig Carey
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox