Monoids for Rapid Data Flow Analysis
- 1 February 1980
- journal article
- Published by Society for Industrial & Applied Mathematics (SIAM) in SIAM Journal on Computing
- Vol. 9 (1) , 159-196
- https://doi.org/10.1137/0209015
Abstract
No abstract availableThis publication has 28 references indexed in Scilit:
- Systematic recursion removalCommunications of the ACM, 1978
- The method of attributes for data flow analysisActa Informatica, 1978
- The method of attributes for data flow analysisActa Informatica, 1978
- A case study of a new code generation technique for compilersCommunications of the ACM, 1977
- An optimal evaluation of Boolean expressions in an online query systemCommunications of the ACM, 1977
- Compiler Analysis of the Value Ranges for VariablesIEEE Transactions on Software Engineering, 1977
- Operations on sparse relationsCommunications of the ACM, 1977
- A programming technique for recursive proceduresBIT Numerical Mathematics, 1976
- A program data flow analysis procedureCommunications of the ACM, 1976
- A Fast and Usually Linear Algorithm for Global Flow AnalysisJournal of the ACM, 1976