Data-flow graphs as an intermediate program form.

The program dependence graph and its use in optimization

ACM Transactions on Programming Languages and Systems (TOPLAS)

A Simplified Framework for Reduction in Strength

IEEE Transactions on Software Engineering

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

PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation

Efficiently computing static single assignment form and the control dependence graph

ACM Transactions on Programming Languages and Systems (TOPLAS)

A program form based on data dependency in predicate regions

POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

The program dependence graph in a software development environment

SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments

Intermediate program representations in compiler construction: a supplemental bibliography

ACM SIGPLAN Notices

A dependence graph-based representation for test coverage analysis of object-oriented programs

ACM SIGSOFT Software Engineering Notes