Monotone data flow analysis frameworks
- 1 January 1977
- journal article
- Published by Springer Nature in Acta Informatica
- Vol. 7 (3) , 305-317
- https://doi.org/10.1007/bf00290339
Abstract
No abstract availableThis publication has 10 references indexed in Scilit:
- 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
- Property extraction in well-founded property setsIEEE Transactions on Software Engineering, 1975
- Application of lattice algebra to loop optimizationPublished by Association for Computing Machinery (ACM) ,1975
- A unified approach to global program optimizationPublished by Association for Computing Machinery (ACM) ,1973
- Fast algorithms for the elimination of common subexpressionsActa Informatica, 1973
- Demethylation of 7-methylguanosine with lithium 2-methylpropane-2-thiolateJournal of the Chemical Society, Chemical Communications, 1973
- A global flow analysis algorithmInternational Journal of Computer Mathematics, 1972
- Global common subexpression eliminationACM SIGPLAN Notices, 1970