Monotone Data Flow Analysis Frameworks

Authors: John B. Kam, Jeffrey D. Ullman - Acta Informatica 1977 cited by 380