%0 Journal Article %T Double iterative framework for flow-sensitive interprocedural data flow analysis %A Forgács, István %J ACM Transactions on Software Engineering and Methodology (TOSEM) %V 3 %N 1 %P 29-55 %@ 1049-331X %D 1994-01-02 %I ACM %~ DeepDyve