Demand Driven - goal directed
Exhaustive analysis:
- Compute all facts at all points
Demand driven analysis:
- Does a given data flow fact hold at a given point?
Effects
- Reduce the number of points where data flow computed
- Reduce the number of quantities
- Reduce the amount of extraneous information