On the ecient engineering of ambitious program analysis (0)

by J D Choi, R Cytron, J Ferrante
Venue:IEEE Trans. on Software Engineering