This paper studies iterative methods for the global flow analsis of computer programs. We define a hierarchy of global flow problem classes, each solvable by an appropriate generalization of the "node listing" method of Kennedy. We show that each of these generalized methods is optimum, among all iterative algorithms, for solving problems within its class. We give lower bounds on the time required by iterative algorithms for each of the problem classes.
Cited By
- Ganzinger H, Giegerich R, Möncke U and Wilhelm R A truly generative semantics-directed compiler generator Proceedings of the 1982 SIGPLAN symposium on Compiler construction, (172-184)
- Ganzinger H, Giegerich R, Möncke U and Wilhelm R (2019). A truly generative semantics-directed compiler generator, ACM SIGPLAN Notices, 17:6, (172-184), Online publication date: 1-Jun-1982.
- Rosen B Monoids for rapid data flow analysis Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (47-59)
- Cousot P and Cousot R Abstract interpretation Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (238-252)
Recommendations
Three-steps iterative algorithms for mixed variational inequalities
It is well known that the mixed variational inequalities are equivalent to the fixed point problems and the resolvent equations. Using this equivalence, we suggest and consider a new three-step iterative method for solving mixed variational ...
Auxiliary Principle and Iterative Algorithms for Lions-Stampacchia Variational Inequalities
In this paper, we extend the auxiliary principle (Cohen in J. Optim. Theory Appl. 49:325---333, 1988 ) to study a class of Lions-Stampacchia variational inequalities in Hilbert spaces. Our method consists in approximating, in the subproblems, the ...
Iterative algorithms for solving generalized nonlinear mixed variational inequalities
A new concept of g-partially relaxed strong monotonicity of mappings is introduced. By applying the auxiliary variational inequality technique, some new predictor-corrector iterative algorithms for solving generalized nonlinear mixed variational ...