-pdg: generate the program dependence graph (inter-procedural)-cdg: generate the control dependence graph (intra-procedural)-ddg: generate the data dependence graph (intra-procedural)-dot-*: for ...

This paper presents an innovative model of a program's internal behavior over a set of test inputs, called the probabilistic program dependence graph (PPDG), which facilitates probabilistic analysis ...

The program dependence graph was introduced by Ottenstein and Ottenstein in 1984. It was suggested to be a suitable internal program representation for monolithic programs, for the purpose of carrying ...

Ferrante, J., Ottenstein, K.J. and Warren, J.D. (1987) The Program Dependence Graph and Its Use in Optimization. ACM Transactions on Programming Languages and Systems ...

For this purpose, the authors have an intermediate graph, a dependency graph that represent the data and control flow dependencies between nodes, statements. It must also play a role in software ...

When systems are formally described using graph transformation systems, ... Program Dependence Net and On-Demand Slicing for Property Verification of Concurrent System and Software.

GRAph ALigner: Algorithm to align two networks or graphs. This implementation is specific for program dependency graph to detect code similarity ...

Ferrante, J., Ottenstein, K.J. and Warren, J.D. (1987) The Program Dependence Graph and Its Use in Optimization. ACM Transactions on Programming Languages and Systems ... Moreover, the paper presents ...