A practical interprocedural data flow analysis algorithm (1978)

by J M Barth
Venue:Commun. of the ACM