Iterative-free program analysis
Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano · 2003
flow analyses are reduced to the problem of finding a fixed point in a certain transition system, and such fixed point is commonly computed through an iterative procedure that repeats tracing until convergence.