Integrating Noninterfering Versions of Programs

ACM Transactions on Programming Languages and Systems (TOPLAS)

Volumn 11, Issue 3, 1989, Pages 345-387

  Horwitz, Susan ^a   Prins, Jan ^b   Reps, Thomas ^a  

^a UNIVERSITY OF WISCONSIN MADISON   (United States)

^b UNIVERSITY OF NORTH CAROLINA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING--ALGORITHMS;

PROGRAMMING ENVIRONMENT;

COMPUTER SOFTWARE;

EID: 0024700474     PISSN: 01640925     EISSN: 15584593     Source Type: Journal    
DOI: 10.1145/65979.65980     Document Type: Article

References (31)

1. Aho, A. V., Sethi, R., and Ullman, J. D. Compilers: Principles, Techniques, and Tools. Addison-Wesley, Reading, Mass., 1986.
2. Allen, J. R., and Kennedy, K. PFC: A program to convert Fortran to parallel form. Tech. Rep. MASC TR82-6, Dept. of Math. Sciences, Rice Univ., Houston, Tex., March 1982.
3. Allen, J. R. Dependence analysis for subscripted variables and its application to program transformations. Ph.D. dissertation, Dept. of Math. Sciences, Rice Univ., Houston, Tex., April 1983.
4. Allen, J. R., and Kennedy, K. Automatic loop interchange. In Proceedings of the SIGPLAN 84 Symposium on Compiler Construction (Montreal, June 20-22, 1984). ACM SIGPLAN Not. 19, 6 (June 1984), 233–246.
5. Ball, T., Horwitz, S., and Reps, T. Correctness of an algorithm for reconstituting a program from a dependence graph. Computer Sciences Dept., Univ. of Wisconsin, Madison. Tech. Rep. in preparation, Spring 1989.
6. Bannerjee, U. Speedup of ordinary programs. Ph.D. dissertation and Tech. Rep. R-79-989, Dept. of Computer Science, Univ. of Illinois, Urbana, Oct. 1979.
7. Berzins, V. On merging software extensions. Acta Inf. 23 (1986), 607–619.
8. Dijkstra, E. W. A Discipline of Programming. Prentice-Hall, Englewood, Cliffs, N.J., 1976.
9. Donzeau-Gouge, V., Huet, G., Kahn, G., and Lang, B. Programming environments based on structured editors: The MENTOR experience. In Interactive Programming Environments, D. Barstow, E. Sandewall, and H. Shrobe, Eds., McGraw-Hill, New York, 1984, 128–140.
10. Ferrante, J., AND Mace, M. On linearizing parallel code. In Conference Record of the Twelfth ACM Symposium on Principles of Programming Languages (New Orleans, La., Jan. 14–16, 1985). ACM, New York, 1985, 179–189.
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. Habermann, A. N., and Notkin, D. Gandalf: Software development environments. IEEE Trans. Softw. Eng. SE-12, 12 (Dec. 1986), 1117–1127.
13. Hoare, C. A. R. An axiomatic basis for computer programming. Commun. ACM 12, 10 (Oct. 1969), 576–580, 583.
14. Horwitz, S., Prins, J., and Reps, T. Integrating non-interfering versions of programs. TR-690, Computer Sciences Dept., Univ. of Wisconsin, Madison, March 1987.
15. Horwitz, S., Pfeiffer, P., and Reps, T. Dependence analysis for pointer variables. In Proceedings of the ACM SIGPLAN 89 Conference on Programming Language Design and Implementation (Portland, Ore., June 21-23, 1989). ACM, New York, 1989.
16. Horwitz, S., Prins, J., and Reps, T. Integrating non-interfering versions of programs. In Conference Record of the Fifteenth ACM Symposium on Principles of Programming Languages (San Diego, Calif., Jan. 13-15, 1988), ACM, New York, 1988, 133–145.
17. Horwitz, S., Prins, J., and Reps, T. On the adequacy of program dependence graphs for representing programs. In Conference Record of the Fifteenth ACM Symposium on Principles of Programming Languages (San Diego, Calif., Jan. 13-15, 1988). ACM, New York, 1988, 146–157.
18. Horwitz, S., Prins, J., and Reps, T. On the suitability of dependence graphs for representing programs. Computer Sciences Dept., Univ. of Wisconsin, Madison, Aug. 1988. Submitted for publication.
19. Horwitz, S., Reps, T., and Binkley, D. Interprocedural slicing using dependence graphs. In Proceedings of the ACM SIGPLAN 88 Conference on Programming Language Design and Implementation (Atlanta, Ga., June 22-24, 1988). ACM SIGPLAN Not. 23, 7 (July 1988), 35–46.
20. Jones, N. D., and Muchnick, S. S. Flow analysis and optimization of Lisp-like structures. In Program Flow Analysis: Theory and Applications, S. S. Muchnick and N. D. Jones, Eds., Prentice-Hall, Englewood Cliffs, N.J., 1981.
21. Kuck, D. J., Muraoka, Y., and Chen, S. C. On the number of operations simultaneously executable in FORTRAN-like programs and their resulting speed-up. IEEE Trans. Comput. C-21, 12 (Dec. 1972), 1293–1310.
22. 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, 207–218.
23. Notkin, D., Ellison, R. J., Staudt, B. J., Kaiser, G. E., Kant, E., Habermann, A. N., Ambriola, V., and Montangero, C. Special issue on the GANDALF project. J. Syst. Softw. 5, 2 (May 1985).
24. 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). ACM SIGPLAN Not. 19, 5 (May 1984), 177–184.
25. Reps, T., and Teitelbaum, T. The Synthesizer Generator. In Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments (Pittsburgh, Pa., April 23-25, 1984). ACM SIGPLAN Not. 19, 5 (May 1984), 42–48.
26. Reps, T., and Teitelbaum, T. The Synthesizer Generator: A System for Constructing Language-Based Editors. Springer, New York, 1988.
27. Reps, T., and Yang, W. The semantics of program slicing. TR-777, Computer Sciences Dept., Univ. of Wisconsin, Madison, June 1988.
28. 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). Lecture Notes in Computer Science, 352. Springer, New York, 1989, 360–374.
29. Tichy, W. F. RCS: A system for version control. Softw. Pract. Exper. 15, 7 (July 1985), 637–654.
30. Weiser, M. Program slicing. IEEE Trans. Softw. Eng. SE-10, 4 (July 1984), 352–357.
31. Wolfe, M. J. Optimizing supercompilers for supercomputers. Ph.D. dissertation and Tech. Rep. R-82-1105, Dept. of Computer Science, Univ. of Illinois, Urbana, Oct. 1982.