Properties of data flow frameworks

This publication has 70 references indexed in Scilit:

• A critical analysis of incremental iterative data flow analysis algorithms
  IEEE Transactions on Software Engineering, 1990
• An interval-based approach to exhaustive and incremental interprocedural data-flow analysis
  ACM Transactions on Programming Languages and Systems, 1990
• Program derivation by fixed point computation
  Science of Computer Programming, 1989
• Automatic translation of FORTRAN programs to vector form
  ACM Transactions on Programming Languages and Systems, 1987
• Interprocedural dependence analysis and parallelization
  ACM SIGPLAN Notices, 1986
• A static analysis of CSP programs
  Lecture Notes in Computer Science, 1984
• A practical interprocedural data flow analysis algorithm
  Communications of the ACM, 1978
• A program data flow analysis procedure
  Communications of the ACM, 1976
• Register Assignment Algorithm for Generation of Highly Optimized Object Code
  IBM 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