%0 Journal Article %1 journals/toplas/VerdoolaegeJB12 %A Verdoolaege, Sven %A Janssens, Gerda %A Bruynooghe, Maurice %D 2012 %J ACM Trans. Program. Lang. Syst. %K dblp %N 3 %P 11:1-11:35 %T Equivalence checking of static affine programs using widening to handle recurrences. %U http://dblp.uni-trier.de/db/journals/toplas/toplas34.html#VerdoolaegeJB12 %V 34

@article{journals/toplas/VerdoolaegeJB12, added-at = {2018-11-06T00:00:00.000+0100}, author = {Verdoolaege, Sven and Janssens, Gerda and Bruynooghe, Maurice}, biburl = {https://www.bibsonomy.org/bibtex/27c10598df7c3111cc7d6b2fbcc383a32/dblp}, ee = {https://doi.org/10.1145/2362389.2362390}, interhash = {767f8874d7727a6d8d1f79103a9526d3}, intrahash = {7c10598df7c3111cc7d6b2fbcc383a32}, journal = {ACM Trans. Program. Lang. Syst.}, keywords = {dblp}, number = 3, pages = {11:1-11:35}, timestamp = {2018-11-07T12:36:34.000+0100}, title = {Equivalence checking of static affine programs using widening to handle recurrences.}, url = {http://dblp.uni-trier.de/db/journals/toplas/toplas34.html#VerdoolaegeJB12}, volume = 34, year = 2012 }