Parititioning
Decompose data flow problem into a series of related subproblems
- Point-based: only a subset of program points in each subproblem e.g.,interprocedural analysis (pieces of code) - N
- Quantity-based: analyze all points but model only a subset of program quantities in each subproblem: avoid modeling all quantities simultaneously - V
Space:
- Need only use the space for the largest partition plus storage for data flow facts from other partition
Time savings:
- analysis information within memory