Barbara G. Ryder William Landi Phil Stocks Sean Zhang Rita Altucher A schema for interprocedural modification side-effect analysis with pointer aliasing. 105-186 2001 23 ACM Trans. Program. Lang. Syst. 2 http://doi.acm.org/10.1145/383043.381532 db/journals/toplas/toplas23.html#RyderLSZA01