Re: Implementing statement grouping, contexts, quads and scopes

On 2002-06-26 11:00, "ext Patrick Stickler" <patrick.stickler@nokia.com>
wrote:


> So there are some things that are true at higher layers
> that are not true at lower layers, but everything that is
> true at a lower layer is also true at all higher layers.

Sorry. That was stated poorly. Let me try again:

There are some statements that are asserted at higher layers that
are not asserted at lower layers, even if those statements are
described at the lower layers, but every statement that is
asserted at a lower layer is also asserted at all higher layers,
and the meaning of any asserted statement at a lower layer
remains unchanged at all higher layers.

Patrick

--
               
Patrick Stickler              Phone: +358 50 483 9453
Senior Research Scientist     Fax:   +358 7180 35409
Nokia Research Center         Email: patrick.stickler@nokia.com

Received on Wednesday, 26 June 2002 04:18:07 UTC