J. B. Kam and J. D. Ullman. Global data flow analysis and iterative algorithms. Journal ACM, 23(1), 1976, pages 158--171. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
From Trace Sets to Modal-Transition Systems by Stepwise Abstract.. - Schmidt (2001) (1 citation) (Correct)
Effective Compile-Time Analysis for Data Prefetching in Java - Cahoon (2002) (Correct)
Frameworks For Precise Program Analysis - Murphy (2001) (Correct)
Operator Strength Reduction - Cooper, Simpson, Vick (1995) (3 citations) (Correct)
An Efficient Static Analysis Algorithm to Detect Redundant.. - Cooper, Xu (2002) (4 citations) (Correct)
A Simple, Fast Dominance Algorithm - Cooper, Harvey, Kennedy (2001) (1 citation) (Correct)
The Static Single Information Form - Ananian (1999) (1 citation) (Correct)
Combining Analyses, Combining Optimizations - Click, Jr. (1995) (1 citation) (Correct)
Software Methodologies for VHDL Code Static Analysis.. - Baresi, Bolchini, Sciuto (1996) (1 citation) (Correct)
Automatic Generation Of Data-Flow Analyzers: A Tool For Building.. - Tjiang (1993) (5 citations) (Correct)
Using Types to Analyze and Optimize Object-Oriented Programs - McKINLEY, MOSS (2001) (6 citations) (Correct)
Yet Another Ensemble of Abstract Interpreter, Higher-Order.. - Yi (2001) (Correct)
Analysis of Multithreaded Programs - Rinard (2001) (13 citations) (Correct)
On Guarding Nested Fixpoints - Seidl, Neumann (1999) (Correct)
Data-Flow Frameworks for Worst-Case Execution Time Analysis - Blieberger (2000) (Correct)
Modal Transition Systems: A Foundation for Three-Valued.. - Huth, Jagadeesan.. (2000) (14 citations) (Correct)
A Survey of Sequential and Systolic Algorithms for the Algebraic.. - Fink (1992) (4 citations) (Correct)
Effective Interprocedural Optimization of Object-Oriented Languages - Grove (1998) (5 citations) (Correct)
L. Taylor Simpson - Lts Cs Rice (Correct)
Type Qualifiers: Lightweight Specifications to Improve Software.. - Foster (2002) (6 citations) (Correct)
Analysis of Multithreaded Programs - Rinard (2001) (13 citations) (Correct)
A Class of Polynomially Solvable Range Constraints for Interval .. - Su, Wagner (Correct)
Static Checking of Dynamically Generated Queries in.. - Gould, Su, Devanbu (2004) (5 citations) (Correct)
Semantics-based Program Analysis via Symbolic Composition of.. - Colby (1996) (Correct)
Practical Improvements to the Construction and.. - Briggs, Cooper.. (1998) (14 citations) (Correct)
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC