On the ecient engineering of ambitious program analysis (1992)

by J Choi, R Cytron, J Ferrante
Venue:IEEE Trans. Softw. Eng