Data Flow Analysis for Procedural Languages
- 1 April 1979
- journal article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 26 (2) , 322-344
- https://doi.org/10.1145/322123.322135
Abstract
No abstract availableThis publication has 13 references indexed in Scilit:
- Data Flow Analysis in the Presence of Procedure CallsIBM Journal of Research and Development, 1977
- Correctness of parallel programs: The Church-Rosser approachTheoretical Computer Science, 1976
- Data Flow Analysis in Software ReliabilityACM Computing Surveys, 1976
- Global Data Flow Analysis and Iterative AlgorithmsJournal of the ACM, 1976
- A Fast and Usually Linear Algorithm for Global Flow AnalysisJournal of the ACM, 1976
- A Simple Algorithm for Global Data Flow Analysis ProblemsSIAM Journal on Computing, 1975
- Tree-Manipulating Systems and Church-Rosser TheoremsJournal of the ACM, 1973
- A global flow analysis algorithmInternational Journal of Computer Mathematics, 1972
- Global common subexpression eliminationACM SIGPLAN Notices, 1970
- Object code optimizationCommunications of the ACM, 1969