From: "Mark Lundquist" <mark@rational.com>
Subject: Re: Help with Atomic_Components and whole array assignment
Date: Fri, 2 Feb 2001 13:38:48 -0800
Date: 2001-02-02T13:38:48-08:00 [thread overview]
Message-ID: <95fbit$nen$2@usenet.rational.com> (raw)
In-Reply-To: 9589fj$k66$1@nnrp1.deja.com
Robert Dewar <robert_dewar@my-deja.com> wrote in message
news:9589fj$k66$1@nnrp1.deja.com...
>[...]
> Any *semantic* rule in the standard is always an "as-if" rule.
> This is fundamental to the nature of semantic specification.
> This means that if two possible translations have the same
> semantic effect, then they are equivalent.
[DING!] (light bulb turning on...)
Robert, when you first (in a reply to my post) stated that IA would be more
binding in this case than a requirement, I did not understand what you could
be talking about. If something were meaningless, then what would it mean
for an implementation to follow or not follow it? The "as if" explanation
clears this up. The key phrase is "semantically meaningless", and that is
precisely defined. If a language rule's only meaning is at other than the
semantic level, then as a requirement it has all the force of a bogus
requirement, namely nil. But as IA it can have some teeth.
next prev parent reply other threads:[~2001-02-02 21:38 UTC|newest]
Thread overview: 31+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-01-22 11:22 Help with Atomic_Components and whole array assignment r_c_chapman
2001-01-22 12:51 ` Stuart Palin
2001-01-22 14:16 ` mark_lundquist
2001-01-22 16:09 ` Pat Rogers
2001-01-22 16:29 ` Robert Dewar
2001-01-22 19:52 ` Mark Lundquist
2001-01-30 15:54 ` Tucker Taft
2001-01-30 18:20 ` Robert Dewar
2001-01-31 5:08 ` DuckE
2001-01-31 5:57 ` Robert Dewar
2001-02-01 3:31 ` DuckE
2001-02-02 21:38 ` Mark Lundquist [this message]
2001-02-02 23:08 ` Robert Dewar
2001-02-03 1:39 ` tmoran
2001-01-22 16:21 ` Robert Dewar
2001-01-22 16:39 ` r_c_chapman
2001-01-30 15:57 ` Tucker Taft
2001-01-30 18:26 ` Robert Dewar
2001-01-30 21:30 ` Simon Wright
2001-02-01 6:11 ` Robert Dewar
2001-02-06 0:32 ` Richard Kenner
2001-02-06 3:15 ` Robert Dewar
2001-01-31 10:09 ` Rod Chapman
2001-01-31 21:41 ` Tucker Taft
2001-02-01 5:33 ` Robert Dewar
2001-02-01 9:42 ` Rod Chapman
2001-02-01 18:10 ` Robert Dewar
2001-02-01 13:14 ` SPARK flow analysis (was Help with Atomic_Components and whole array assignment) Stuart Palin
2001-02-01 23:38 ` Help with Atomic_Components and whole array assignment Nick Roberts
2001-02-02 3:45 ` Robert Dewar
2001-02-07 21:40 ` Nick Williams
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox