A schema for interprocedural modification side-e#ect 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