Incremental data flow analysis in a structured program editor

Proceedings of the 1984 SIGPLAN Symposium on Compiler Construction, SIGPLAN 1984

Volumn , Issue , 1984, Pages 132-143

  Zadeck, Frank Kenneth ^a  

^a IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DATA TRANSFER; PROGRAM COMPILERS; VECTORS;

ALGORITHM FOR SOLVING; BIT VECTOR; DATA FLOW; GLOBAL DATA; INCREMENTAL DATA; PROGRAM EDITORS;

DATA FLOW ANALYSIS;

EID: 0012208138     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/502874.502888     Document Type: Conference Paper

References (23)

1. A. V. Aho, J. E. Hopcrofi, and J. D. Ullman. The Design and Analysis of Computer Algorithms, Addison-Wesley. 1974.
2. F. E. Allen. Control flow analysis. Sigplan Notices, July 1970.
3. W. A. Rabichand Mehdi Jazayeri, The method of attributes for data flow analysis (two parts). Acta informatica 10 1978, 243-272. See also Tr-77-007, Department of Computer Science. University of North Carolina.
4. V. Donzcau-Gouge. G. Huet, G. Kahn, B. Lans, and J. J. Levy. A structure oriented program editor: A first step toward computer assisted programming. International Computing Symposium 1975, Elsevier North-Holland. 1975, pp 113-120.
5. L. D. Fosdick and I. D. Osterweil. Data flow analysis in software reliability. Computing Surveys, Vol 8, No 3, September 1976, pp. 305-330.
6. S. L. Graham and M. Wegman. A fast and usually linear algorithm for global flow analysis. Journal of the Association for Computing Machinery, Vol. 25, No. 1, January 1976, pp. 172-202,
7. A. N. Habcrmann and D. S. Notkin. The gandall software development environment. Research report, Computer Science Department, Carnegie-Mellon University, Pittsburg, Pa., January 1982.
8. M. S Hecht Flow Analysis of Computer Programs, Elsevier North-Holland. 1977.
9. R. T. Hood and K. W. Kennedy. A programming environment for Fortran. Research report, Department of Mathematical Sciences. Rice University, Houston, Texas, 1983
10. J. B. Kam and J D Ullman. Global data flow analysis and iterative algorithms. Journal of the Association for Computing Machinery, Vol. 23. No 1. January 1976. pp. 158-173.
11. K.W. Kennedy. A survey of data flow analysis techniques, Program Flow Analysis, edited by S. S. Muchnick, N. D. Jones Prentice-Hall, 1981.
12. G. A. Kildati. A unified approach to global program optimization. Conference Record of the First ACM Symposium on Principles of Prodrommins Languages. October 1973, pp. 194-206,
13. L. T. KOU. On live-dead analysis for global data flow problems. Journal of the Association for Computing Machinery, Vol. 24, No. 3, July 1977. pp. 473-481.
14. L. M. Masineer. Global program analysis in an interactive environment, Xerox Report 881-80-1. January 1980.
15. N. Meyrowitz and A. van Dam. Interactive editing systems (two pans), Computing Surveys. Vol. 14, No. 3, September 1982. pp 321-415.
16. S. S. Muchnick. and K. D. Jones. Program Flow Analysis, Prentice-Hall. 1981.
17. A. Rudmic and B. Moore. The Chill compiling system: Towards a Chill programming environment Proceedings of the Fourth International Conference of Software Engineering for Telecommunications Software. 1981. pp, 187-190.
18. B. G. Ryder Ineremental Data Flow Analysis Rated on a Unified Model of Elimination Algorishrus. PhD dissertation, DCS-TR-117, Rutgers University. September 1982.
19. R. E. Tarjan. Dspth first search and linear graph algorichms. SIAM Journal of Computing 1:2 1972. pp 146-160.
20. W. Teitelman, A display-oriented programmers assistant. Proceedings of the Fifth International Joint Conference of Artificial Intelligence, 1977.
21. R. T. Teitelbaum and T. Reps. The Cornell Program Synthesizer; A syntax-directed programming environment. Communacations of the ACM, 24-9. September 1981. 563-573.
22. J D. Ullman. Fast algorithms for the alimination of common subexpressions Acto Informatica 2. Springer-Verlag 1973, pg 191-213,
23. F.K. Zadeck Incremtental Data Flow Analysis in a Structured Program Editor. PhD dissertation, Mathematical Sciences Department. Rice University, October 1943.