Reaching Definition

Taxonomy of Dataflow Problems

Techniques

Four Kinds of Dataflow Problems

A Lattice L Consists of

Properties of Lattices

Example

Flow Functions For The Flow–graph in The Example

Iterative (forward) Data-flow Analysis

Control Tree Based Data-Flow Analysis

If-then Construct

If-then-else Construct

While Loop

Improper Region