A schema for interprocedural modification side-effect analysis with pointer aliasing (2001)

by B G Ryder, W Landi, P Stocks, S Zhang, R Altucher
Venue:ACM Transactions on Programming Languages and Systems