Slicing Programs with Arbitrary Control-flow
作者： Thomas Ball , Susan Horwitz
DOI: 10.1007/BFB0019410
关键词:
摘要: Program slicing is a program transformation that useful in debugging, maintenance, and other applications involve understanding behavior. Given point p set of variables V, the goal to create projection (by eliminating some statements), such original compute same values for all V at p.
springer.com
scilit.net
acm.org 参考文章(15)
Ravi Sethi, Jeffrey D. Ullman, Alfred V. Aho, Compilers: Principles, Techniques, and Tools ,(1986)
Thomas Reps, Wuu Yang, The Semantics of Program Slicing and Program Integration TAPSOFT '89 Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages. pp. 360- 374 ,(1989) , 10.1007/3-540-50940-2_47
J.C. Hwang, M.W. Du, C.R. Chou, Finding program slices for recursive procedures computer software and applications conference. pp. 220- 227 ,(1988) , 10.1109/CMPSAC.1988.17176
Susan Horwitz, Identifying the semantic and textual differences between two versions of a program programming language design and implementation. ,vol. 25, pp. 234- 245 ,(1990) , 10.1145/93542.93574
B. Korel, PELAS-program error-locating assistant system IEEE Transactions on Software Engineering. ,vol. 14, pp. 1253- 1260 ,(1988) , 10.1109/32.6169
S. Horwitz, J. Prins, T. Reps, Integrating non-intering versions of programs symposium on principles of programming languages. pp. 133- 145 ,(1988) , 10.1145/73560.73572
S. Horwitz, J. Prins, T. Reps, On the adequacy of program dependence graphs for representing programs symposium on principles of programming languages. pp. 146- 157 ,(1988) , 10.1145/73560.73573
Thomas W. Reps, Tim Teitelbaum, The Synthesizer Generator: A System for Constructing Language-Based Editors ,(1988)
Susan Horwitz, Jan Prins, Thomas Reps, Integrating noninterfering versions of programs ACM Transactions on Programming Languages and Systems. ,vol. 11, pp. 345- 387 ,(1989) , 10.1145/65979.65980
Brenda S. Baker, An Algorithm for Structuring Flowgraphs Journal of the ACM. ,vol. 24, pp. 98- 120 ,(1977) , 10.1145/321992.321999