A Program Integration Algorithm that Accommodates Semantics-Preserving Transformations

ACM Transactions on Software Engineering and Methodology (TOSEM)

Volumn 1, Issue 3, 1992, Pages 310-354

  Yang, Wuu ^a,b   Horwitz, Susan ^a   Reps, Thomas ^a  

^a UNIVERSITY OF WISCONSIN MADISON   (United States)

^b IBM   (United States)

Author keywords

coarsest partition; control dependence; data dependence; data flow analysis; flow dependence; program dependence graph; program integration; program representation graph; static single assignment form

Indexed keywords

COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; DATA HANDLING; DATA STRUCTURES; ENCODING (SYMBOLS); FILE EDITORS; MODIFICATION; PROGRAM PROCESSORS; SOFTWARE ENGINEERING;

PROGRAM INTEGRATION; SEMANTICS PRESERVING TRANSFORMATIONS; SOFTWARE PACKAGE BASE;

ALGORITHMS;

EID: 0026890189     PISSN: 1049331X     EISSN: 15577392     Source Type: Journal    
DOI: 10.1145/131736.131756     Document Type: Article

References (29)

1. Ano, A., HOPCKOFT, J. E., AND ULLMAN, J. The Design and Analysis of Computer Algorithms. Addison-Wesley, Reading, MA, 1974.
2. AHO, A., SETHI, R., AND ULLMAN, J. Compilers: Principles, Techniques and Tools. Addison-Wesley, Reading, MA, 1986.
3. ALLEN, F. E. AND COCKE, J. A. A catalogue of optimizing transformations. In Design and Optimization of Compilers, R. Rustin, Ed. Prentice-Hall, Englewood Cliffs, NJ, 1972, pp. 1-30.
4. ALPERN, B., WEGMAN, M. N., AND ZADECK, F. K. Detecting equality of variables in programs. In Conference Record of the Fifteenth ACM Symposium on Principles of Programming Languages (San Diego, CA, Jan. 13-15, 1988), ACM, New York 1988, pp. 1-11.
5. BALLANCE, R. A., MACCABE, A. B., AND OTTENSTEIN, K. J. The program dependence web: A representation supporting control-, data-, and demand-driven interpretation of imperative languages. In Proceedings of the ACM SIGPLAN 90 Conference on Programming Language Design and Implementation (White Plains, NY, June 20-22, 1990). SIGPLAN Notices 25. 6 (June, 1990), 257-271.
6. BERZINS, V. On merging software extensions. Acta Inf. 23 (1986), 607-619.
7. CYTRON, R., FERRANTE, J., ROSEN, B. K., WEGMAN, M. N., AND ZADECK, K. An efficient method of computing static single assignment form. In Conference Record of the Sixteenth ACM Symposium on Principles of Programming Languages (Austin, TX, Jan. 11-13, 1989), ACM, New York, NY, 1989, pp. 25-35.
8. DENNIS, J. B. First version of a data flow procedure language. In Programming Symposium: Proceedings, Colloque sur la Programmation, Lecture Notes in Computer Science, 19, B. Robinet, Ed. Springer-Verlag, New York, 1974, pp. 362-376.
9. DOWNEY, P. J. SETHI, R., AND TARJAN, R. E. Variations on the common subexpression problem. J. ACM 27, 4 (Oct. 1980), 758-771.
10. FEATHER, M. S. Detecting interference when merging specification evolutions. Unpublished report, Information Sciences Inst., Univ. of Southern California, Marina del Rey. CA, 1989.
11. FERRANTE, J., OTTENSTEIN, K., AND WARREN, J. The program dependence graph and its use in optimization. ACM Trans. Program. Lang. Syst. 9, 3 (July, 1987), 319-349.
12. HOPCROFT, J. E. An n log n algorithm for minimizing the states of a finite automaton. In The Theory of Machines and Computations, 1971, pp. 189-196.
13. HORWITZ, S., PRINS, J., AND REPS, T. Integrating non-interfering versions of programs ACM Trans. Program. Lang. Syst. 11, 3 (July, 1989), 345-387.
14. HORWITZ, S. AND REPS, T. Efficient comparison of program slices. To appear in Acta Inf., 1991.
15. KUCK, D. J., KUHN, R. H., LEASURE, B., PADUA, D. A., AND WOLFE, M. Dependence graphs and compiler optimizations In Conference Record of the Eighth ACM Symposium on Principles of Programming Languages (Williamsburg, VA, Jan. 26-28, 1981), ACM, New York 1981, pp 207-218.
16. LAKHOTIA, A. AND STERLING, L. Composing recursive logic programs with clausal join. New Gen. Comput. 6, 2 (1988), 211-225
17. LOVEMAN, D. B. Program improvement by source-to-source transformation. J ACM 20, 1 (Jan. 1977), 121-145.
18. NELSON, G. AND OPPEN, D. C. Fast decision procedures based on congruence closure J ACM 27, 2 (Apr. 1980), 356-364.
19. OTTENSTEIN, K. J. AND OTTENSTEIN, L. M. The program dependence graph in a software development environment In Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments (Pittsburgh, PA, Apr. 23-25, 1984), SIGPLAN Notices 19, 5 (May, 1984), 177-184.
20. RAMALINGAM, G. Personal communication 1989
21. RAMALINGAM, G. AND REPS, T. Semantics of program representation graphs. Tech Rep. 900, Dept. of Computer Sciences, Univ. of Wisconsin, Madison, Dec. 1989.
22. REPS, T. AND YANG, W. The semantics of program slicing. Tech. Rep. 777, Dept. of Computer Sciences, Univ. of Wisconsin, Madison, June, 1988
23. REPS, T. AND YANG, W. The semantics of program slicing and program integration. In Proceedings of the Colloquium on Current Issues in Programming Languages (Barcelona, March 13-17, 1989), pp. 360-374. Lecture Notes in Computer Science 352. Springer-Verlag, New York, 1989.
24. RICH, C. Inspection methods in programming: clichés and plans. A.I. Memo No. 1005, Artificial Intelligence Laboratory, M.I T., Cambridge, MA, Dec 1987
25. ROSEN, B., WEGMAN, M. N., AND ZADECK, F. K. Global value numbers and redundant computations. In Conference Record of the Fifteenth ACM Symposium on Principles of Programming Languages (San Diego, CA. Jan. 13-15, 1988), ACM, New York 1988, pp. 12-27
26. WEISER, M. Program slicing. IEEE Trans Softw. Eng. SE-10, 4 (July, 1984), 352-357.
27. YANG, W., HORWITZ, S., AND REPS, T. Detecting program components with equivalent behaviors Tech Rep. 840, Dept of Computer Sciences, Univ. of Wisconsin, Madison, Apr. 1989.
28. YANG, W., HORWITZ, S., AND REPS, T. A program integration algorithm that accommodates semantics-preserving transformations. In Proceedings of the Fourth Symposium on Software Development Environments (Irvine, CA, Dec 3-5, 1990), ACM, New York, 1990, pp. 133-143
29. YANG, W. A new algorithm for semantics-based program integration. Ph.D. dissertation and Tech. Rep. 962, Dept of Computer Sciences, Univ. of Wisconsin, Madison, Aug. 1990.