Properties of data flow frameworks
- 1 February 1990
- journal article
- Published by Springer Nature in Acta Informatica
- Vol. 28 (2), 121-163
- https://doi.org/10.1007/bf01237234
Abstract
No abstract availableThis publication has 71 references indexed in Scilit:
- A critical analysis of incremental iterative data flow analysis algorithmsIEEE Transactions on Software Engineering, 1990
- An interval-based approach to exhaustive and incremental interprocedural data-flow analysisACM Transactions on Programming Languages and Systems, 1990
- Program derivation by fixed point computationScience of Computer Programming, 1989
- Automatic translation of FORTRAN programs to vector formACM Transactions on Programming Languages and Systems, 1987
- Interprocedural dependence analysis and parallelizationACM SIGPLAN Notices, 1986
- A static analysis of CSP programsLecture Notes in Computer Science, 1984
- A practical interprocedural data flow analysis algorithmCommunications of the ACM, 1978
- A program data flow analysis procedureCommunications of the ACM, 1976
- Register Assignment Algorithm for Generation of Highly Optimized Object CodeIBM Journal of Research and Development, 1974
- Lattice Theory. By Garrett Birkhoff. 2nd edition. Pp. xiii, 283. $6. 1948. American Mathematical Society Colloquium Publications, 25. (American Mathematical Society, New York)The Mathematical Gazette, 1950