Program decomposition for pointer aliasing: A step toward practical analyses,” (1996)

by Sean Zhang, Barbara G Ryder, William Landi
Venue:in Foundations of Software Engineering,