Precise Executable Interprocedural Slices

ACM Letters on Programming Languages and Systems (LOPLAS)

Volumn 2, Issue 1-4, 1993, Pages 31-45

  Binkley, David ^a  

^a LOYOLA UNIVERSITY MARYLAND   (United States)

Author keywords

control dependence; data dependence; program dependence graph; program slicing

Indexed keywords

CODES (SYMBOLS); COMPUTER SOFTWARE; DATA STRUCTURES; OPTIMIZATION; PROGRAM COMPILERS; PROGRAM DEBUGGING; PROGRAM PROCESSORS; SOFTWARE ENGINEERING; SUBROUTINES;

AUTOMATIC PARALLELIZATION; CONTROL DEPENDENCE; DATA DEPENDENCE; INTERPROCEDURAL SLICING ALGORITHM; PROGRAM DEPENDENCE GRAPH; PROGRAM INTEGRATION; PROGRAM SLICE; SOFTWARE MAINTENANCE;

ALGORITHMS;

EID: 0027565579     PISSN: 10574514     EISSN: 15577384     Source Type: Journal    
DOI: 10.1145/176454.176473     Document Type: Article

References (18)

1. ALLEN, F., BURKE, P., CHARLES, P., CYTRON, R., AND FERRANTE, J. 1987. An overview of the PTRAN analysis system for multiprocessing. Res. Rep. RC 13115, IGM T.J. Watson Research Center, Yorktown Heights, N.Y.
2. BADGER, L. AND WEISER, P. 1988. Minimizing communication for synchronizing parallel dataflow programs. In Proceedings of the 1988 International Conference on Parallel Processing (St. Charles, Ill., Aug. 15-19). Pennsylvania State University Press, University Park.
3. ACM Letters on Programming Languages and Systems, Vol. 2, Nos. 1-4, March-December 1993.
4. BANNING, J. P. 1979. An efficient way to find the side effects of procedure calls and the aliases of variables. In Conference Record of the 6th ACM Symposium on the Principles of Programming Languages (San Antonio, Tex, Jan. 29-31). ACM, New York, 29-41.
5. BARTH, J. M. 1978. A practical interprocedural data flow analysis algorithm. Commun. ACM 21, 9 (Sept.), 724-736.
6. BINKLEY, D. 1992. Using semantic differencing to reduce the cost of regression testing. In Proceedings of the IEEE Conference on Software Maintenance (Orlando, Fla, Nov.). IEEE Computer Society, Washington, D.C., 41-50.
7. BINKLEY, D. 1991. Multi-procedure program integration. Ph.D. dissertation and Tech. Rep. TR-1038, Computer Sciences Dept., Univ. of Wisconsin, Madison, Wisc.
8. GALLAGHER, K. P. AND LYLE, J. R. 1991. Using program slicing in software maintenance. IEEE Trans. Softw. Eng. SE-17, 8, 751-761.
9. HORWITZ, S., PRINS, J., AND REPS, T. 1989. Integrating non-interfering versions of programs. ACM Trans. Program. Lang. Syst. 11, 3 (July), 345-387.
10. HORWITZ, S., REPS, T., AND BINKLEY, D. 1990. Interprocedural slicing using dependence graphs. ACM Trans. Program. Lang. Syst. 12, 1 (Jan.), 26-60.
11. KUCK, D. J., KUHN, R. H., LEASURE, B., PADUA, D. A., AND WOLFE, M. 1981. Dependence graphs and compiler optimizations. In Conference Record of the 8th ACM Symposium on the Principles of Programming Languages (Williamsburg, Va., Jan. 26-28). ACM, New York, 207-218.
12. KUCK, D. J., MURAOKA, Y., AND CHEN, S. C. 1972. On the number of operations simultaneously executable in FORTRAN-like programs and their resulting speed-up. IEEE Trans. Comput. C-21, 12 (Dec.), 1293-1310.
13. LYLE, J. AND WEISER, M. 1986. Experiments on slicing-based debugging tools. In Proceedings of the 1st Conference on Empirical Studies of Programming (June). Ablex, Norwood, N.J.
14. REPS, T. AND YANG, W. 1989. The semantics of program slicing and program integration. In Proceedings of the Colloquium on Current Issues in Programming Languages (Barcelona, Spain, Mar. 13-17). Lecture Notes in Computer Science, vol. 352. Springer-Verlag, New York, 360-374.
15. REPS, T. AND YANG, W. 1988. The semantics of program slicing. Tech. Rep. TR-777, Computer Sciences Dept., Univ. of Wisconsin, Madison, Wisc.
16. VENKATESH, G. A. 1991. The semantic approach to program slicing. In. In Proceedings of the ACM SIGPLAN 91 Conference on Programming Language Design and Implementation (Toronto, Ont, June 26-28). ACM SIGPLAN Not. (July).
17. WEISER, M. 1984. Program slicing. IEEE Trans. Softw. Eng. SE-10, 4 (July), 352-357.
18. WEISER, M. 1983. Reconstructing sequential behavior from parallel behavior projections. Inf. Process. Lett. 17, 5 (Oct.), 129-135.