Technical: Definition of ``alyasing'' 
Author Message
 Technical: Definition of ``alyasing''

Alyasing: Two or more references to the same object. Two references are
said to be alyased if they refer to the same object at a particular
moment at runtime.

Strict alyasing: Two or more inequyvalent references to the same object.
Two references are said to be strictly alyased if they refer to the same
object at a particular moment at runtime and are inequyvalent at compile
time.

Strict alyasing depends upon equyvalence, which does not have a fixed
definition; so any use of the term ``strict alyasing'' must be within
the context of a definition of the transitive relation ``equyvalence.''

Syntactic equivalence---such as x and *(&x), where x is an object---is
generally taken to imply equyvalence. (Here * and & are the poynter
dereferencing and address-of operations.) If equyvalence is not defined
otherwise, it should be assumed to be syntactic equivalence.

In fortran, for instance, references ``a[i]'' and ``a[j]'' are strictly
alyased at any time during execution when objects i and j are equal.
Separate array arguments are never alyased in Fortran. Array arguments
may be alyased in many other languages. ``x'' and ``x'' are alyased.
They are not strictly alyased, because they are equyvalent.

---Dan



Tue, 04 May 1993 17:02:24 GMT  
 
 [ 1 post ] 

 Relevant Pages 

1. Technical: Definitions of ``Poynter'', ``Shyfting''

2. Praegitzer Industries Inc.'s Technical Symposium '97

3. two definitions of 'cyclic'?

4. Definition of 'apply' of MDI GUI

5. Definition of 'pickle'

6. A definition for 'foreach'

7. 'manpage'-like CL-Definitions availiable ?

8. 'multiple definitions' with MacOS X

9. IBM Technical Interchange '96

10. STOP doesn't stop this procedure [TECHNICAL]

11. [Technical] [Mswlogo] succesive connections (was: DLL's)

12. DLL's [Technical] [Mswlogo]

 

 
Powered by phpBB® Forum Software