Two approaches to interprocedural data dalow analysis (1981)

by M Sharir, A Pnueli
Venue:In Program Flow Analysis: Theory and Applications