Abstract:In this paper we present an intermediate program representation, called the program dependence graph ( PDG ), that makes explicit both the data and control dependences for each operation in a program. Data dependences have been used to represent only the relevant data flow relationships of a program. Control dependences are introduced to analogously represent only the essential control flow relationships of a program. Control dependences are derived from the usual control flow graph. Many traditional optimizations operate more efficiently on the PDG. Since dependences in the PDG connect computationally related parts of the program, a single walk of these dependences is sufficient to perform many optimizations. The PDG allows transformations such as vectorization, that previously required special treatment of control dependence, to be performed in a manner that is uniform for both control and data dependences. Program transformations that require interaction of the two dependence types can also be easily handled with our representation. As an example, an incremental approach to modifying data dependences resulting from branch deletion or loop unrolling is introduced. The PDG supports incremental optimization, permitting transformations to be triggered by one another and applied only to affected dependences.

Slicing object-oriented java programs

Slicing object-oriented Ada95 programs based on dependence analysis

Slicing Tagged Objects in Ada

Dynamic Slicing Object-Oriented Programs For Debugging

Slicing Java Generic Programs Using Generic System Dependence Graph

Slicing Web Application Based on Hyper Graph

An approach to find dynamic slice for C++ Program

The program dependence graph and its use in optimization

Field-sensitive program slicing

Inter-procedural static slicing of concurrent programs based on threaded System Dependence Graph (tSDG)

Dependence Analysis Based on Dynamic Slicing for Debugging

Measuring JAVA Cohesion Based on Data Slice

Abstract Program Slicing: an Abstract Interpretation-based approach to Program Slicing

Modular Monadic Program Slicing.

Data Dependence Analysis in Presence of Inheritance and Polymorphism

System Dependence Graph Construction for Aspect Oriented C++

An Approach for Computing Dynamic Slice of Concurrent Aspect-Oriented Programs

An Approach to Analyzing Dependence Based on Exception Propagation Analysis

Dependence Analysis for Java

Slicing Concurrent Java Programs