@article{DBLP:journals/toplas/VerdoolaegeJB12, author = {Sven Verdoolaege and Gerda Janssens and Maurice Bruynooghe}, title = {Equivalence checking of static affine programs using widening to handle recurrences}, journal = {ACM Trans. Program. Lang. Syst.}, volume = {34}, number = {3}, year = {2012}, pages = {11}, ee = {http://doi.acm.org/10.1145/2362389.2362390}, bibsource = {DBLP, http://dblp.uni-trier.de} }