Monotone data flow analysis frameworks

Aho, A. V., Ullman, J. D.: The theory of parsing, translation, and compiling; Vol II?Compiling. Englewood Cliffs (N. J.): Prentice-Hall 1973

Cocke, J.: Global common subexpression elimination. SIGPLAN Notices 5, 20?24 (1970)

Cocke, J., Schwartz, J. T.: Programming languages and their compilers. Courant Institute, New York University, New York (1970)

Fong, A. C., Kam, J. B., Ullman, J. D.: Applications of lattice algebra to loop optimization. Proc. 2nd ACM Conference on Principles of Programming Languages, Palo Alto (Cal.), January 1975, pp. 1?9

Graham, S. L., Wegman, M.: A fast and usually linear algorithm for global flow analysis. J. ACM 23, 172?202 (1976)

Hecht, M. S., Ullman, J. D.: A simple algorithm for global flow analysis problems. SIAM J. Computing 4, 519?532 (1975)

Hopcroft, J. E., Ullman, J. D.: Formal languages and their relation to automata. Reading (Mass.): Addison-Wesley 1969

Kennedy, K.: A global flow analysis algorithm. International J. Computer Math. 3, 5?15 (1971)

Kildall, G. A.: Global expression optimization during compilation. Proc. ACM Conference on Principles of Programming Languages, Boston (Mass.), October 1973, pp. 194?206

Kam, J. B., Ullman, J. D.: Global data flow analysis and iterative algorithms. J. ACM 23, 158?171 (1976)

Schwartz, J. T.: Copy optimization in SETL. Department of Computer Science, Courant Institute, New York University, New York, SETL Newsletters 130, 131, 1974

Schaefer, M.: A mathematical theory of global program optimization. Englewood Cliffs (N.J.): Prentice-Hall 1973

Tennenbaum, T.: Type determination for very high level languages. Department of computer Science, Courant Institute, New York University, New York, TSO-3, 1974

Ullman, J. D.: Fast algorithms for the elimination of common subexpressions. Acta Informatica 2, 191?213 (1973)

Ullman, J. D.: Data Flow Analysis. Proc. 2nd USA-Japan Computer Conference. Montvale (N.J.): AFIPS Press 1975

Vyssotsky, V. A.: Private Communication to M. S. Hecht, June 1973

Wegbreit, B.: Property extraction in well-founded property sets. IEEE Trans. on Software Engineering SE-1, 270?285 (1975)