Improving the Results of Static Analyses Programs by Local Decreasing Iteration.

Philippe Granger Improving the Results of Static Analyses Programs by Local Decreasing Iteration. 68-79 1992 conf/fsttcs/1992 FSTTCS db/conf/fsttcs/fsttcs92.html#Granger92 http://dx.doi.org/10.1007/3-540-56287-7_95