Two approaches to interprocedural data flow analysis (1981)

by M Sharir, A Pnueli
Venue:In Program Flow Analysis: Theory and Applications, N.D. Jones and S.S. Muchnick, Eds. Prentice-Hall