Topic summary

Reaching definitions

Extracted from the Wikipedia article Reaching definition.

Worklist algorithm

Reaching definitions are usually calculated using an iterative worklist algorithm.