An efficient algorithm for bidirectional data flow analysis using edge placement technique (1993)

by D M Dhamdhere, H Patil
Venue:ACM Trans. on Programming Languages and Systems