Transformational Derivation of an Improved Alias Analysis Algorithm.

Deepak Goyal Transformational Derivation of an Improved Alias Analysis Algorithm. 15-49 2005 18 Higher-Order and Symbolic Computation 1-2 http://dx.doi.org/10.1007/s10990-005-7005-6 db/journals/lisp/lisp18.html#Goyal05