Equation System Sparse: reducing the number of points - N
Intraprocedural
- Def-Use Chains [Reif & Tarjan, SIAM’81]
- SSA - Static Single Assignment [Cytron, Ferrante, Rosen, Wegman,TOPLS’91]
- Sparse Evaluation Graphs [Choi,Cytron,Ferrante,POPL’91]
- Dependence Flow Graphs [Johnson & Pingali, PLDI’93]
- Congruence Partitioning [Duesterwald, Gupta, Soffa, CC’94]
- Value Dependence Graph [Weise, Crew,Ernst, Steensgaard, POPL’94]
Interprocedural (avoiding reanalysis)
- Super graph [Myers, POPL’81]
- Summary graph [Callahan, PLDI’88]