The semantic approach to program slicing

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Volumn , Issue , 1991, Pages 107-119

  Venkatesh, G A ^a  

^a TELCORDIA TECHNOLOGIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; COMPUTER PROGRAMMING LANGUAGES; SEMANTICS; SOFTWARE TESTING;

PROGRAM BEHAVIOR; PROGRAM DEPENDENCE; PROGRAM DEPENDENCE GRAPH; PROGRAM SLICE; PROGRAM SLICING; SEMANTIC APPROACH; SOURCE-TO-SOURCE TRANSFORMATIONS; TESTING AND DEBUGGING;

PROGRAM DEBUGGING;

EID: 84976607871     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/113445.113455     Document Type: Conference Paper

References (10)

1. H. Agrawal and B. Horgan, "Dynamic Program Slicing", Sigplan Notices 25 (6) pp. 246-256 (June 1990). Proc. of the SIGPLAN'90 Sym. on Prog. Lang. Design and Impl.
2. R. Cartwright and M. Felleisen, "The Semantics of Program Dependence", Sigplan Notices 24 (7) pp. 13-27 (June 1989). Proc. SIGPLAN'89 Conf. on Programming Language Design and Implementation
3. S. Horwitz, J. Prins, and T. Reps, "Integrating Non-Interfering Versions of Programs", pp. 133-145 in Proc. 15th ACM Symp. on Principles of Programming Languages, (January 1988).
4. S. Horwitz, T. Reps, and D. Binkley, "Interprocedural slicing using dependence graphs", ACM TOPLAS 12 (1) pp. 26-60 (Jan 1990)
5. B. Korel and J. Laski, "Dynamic program slicing", Information Processing Letters 29 pp. 155-163 (October 1988).
6. K. J. Ottenstein and L. M. Ottenstein, "The program dependence graph in a software development environment", SIGPLAN Notices 19 (5) pp. 177-184 (May 1984). Proc. of the ACM SIGSOFT/SIGPLAN Symp. on practical SDEs
7. T. Reps and W. Yang, "The semantics of program slicing", Technical Report TR-777, Computer Science Dept., Univ. of Wisconsin (June 1988).
8. G. A. Venkatesh, "Semantics of program slicing", Bellcore TM-ARH-018561 (Nov. 1990).
9. M. Weiser, Program Slices: Formal, psychological, and practical investigations of an automatic program abstraction model, Ph. D. Thesis 1979.
10. M. Weiser, "Program Slicing", IEEE Transactions on Software Engineering SE-10 (4) pp. 352-357 (July 1984).