Barbara G. Ryder, William Landi, Phil Stocks, Sean Zhang, Rita Altucher. A schema for interprocedural modification side-effect analysis with pointer aliasing. ACM Transactions on Programming Languages and Systems, 23(2):105-186, 2001. [doi]
Abstract is missing.