The effect of a pointer assignment statement, s, on aliasing can be described in terms of its alias transfer function ([TF.sub.s]).
By using the framework of pointer-induced aliasing, it is also more precise than Weihl's [1980] method, which performs a transitive closure of the alias relations.
Zhang et a1.[1996; 1998] investigate the effectiveness of a program decomposition technique for pointer aliasing of well-typed C programs.
On determining lifetime and aliasing of dynamically allocated data in higher-order functional specifications.