A brief survey of program slicing

B Xu, J Qian, X Zhang, Z Wu, L Chen - ACM SIGSOFT Software …, 2005 - dl.acm.org
Program slicing is a technique to extract program parts with respect to some special
computation. Since Weiser first proposed the notion of slicing in 1979, hundreds of papers …

An overview of program slicing

M Harman, R Hierons - software focus, 2001 - Wiley Online Library
Abstract MARK HARMAN and ROBERT HIERONS review three semantic paradigms for
slicing—static, dynamic and conditioned; and two syntactic paradigms—syntax‐preserving …

Efficiently computing static single assignment form and the control dependence graph

R Cytron, J Ferrante, BK Rosen, MN Wegman… - ACM Transactions on …, 1991 - dl.acm.org
In optimizing compilers, data structure choices directly influence the power and efficiency of
practical program optimization. A poor choice of data structure can inhibit optimization or …

A core calculus of dependency

M Abadi, A Banerjee, N Heintze… - Proceedings of the 26th …, 1999 - dl.acm.org
Notions of program dependency arise in many settings: security, partial evaluation, program
slicing, and call-tracking. We argue that there is a central notion of dependency common to …

A formal model of program dependences and its implications for software testing, debugging, and maintenance

A Podgurski, LA Clarke - IEEE Transactions on software …, 1990 - ieeexplore.ieee.org
A formal, general model of program dependences is presented and used to evaluate several
dependence-based software testing, debugging, and maintenance techniques. Two …

Debugging with dynamic slicing and backtracking

H Agrawal, RA DeMillo… - Software: Practice and …, 1993 - Wiley Online Library
Programmers spend considerable time debugging code. Symbolic debuggers provide some
help but the task remains complex and difficult. Other than breakpoints and tracing, these …

The program dependence web: a representation supporting control-, data-, and demand-driven interpretation of imperative languages

KJ Ottenstein, RA Ballance, AB MacCabe - Proceedings of the ACM …, 1990 - dl.acm.org
The Program Dependence Web (PDW) is a program representation that can be directly
interpreted using control-, data-, or demand-driven models of execution. A PDW combines a …

Combining analyses, combining optimizations

C Click, KD Cooper - ACM Transactions on Programming Languages …, 1995 - dl.acm.org
Modern optimizing compilers use several passes over a program's intermediate
representation to generate good code. Many of these optimizations exhibit a phase-ordering …

The semantic approach to program slicing

GA Venkatesh - Proceedings of the ACM SIGPLAN 1991 conference on …, 1991 - dl.acm.org
Program slicing is a source-to-source transformation that has applications in construction,
analysis, testing and debugging of programs. A program slice contains the portion of a …

[PDF][PDF] Global code motion/global value numbering

C Click - Proceedings of the ACM SIGPLAN 1995 conference on …, 1995 - dl.acm.org
We believe that optimizing compilers should treat the machine-independent
optimizations(eg, conditional constant propagation, global value numbering) and code …