%0 Conference Paper %1 conf/pepm/LucaAAK06 %A Luca, Beatrice %A Andrei, Stefan %A Anderson, Hugh %A Khoo, Siau-Cheng %B PEPM %D 2006 %E Hatcliff, John %E Tip, Frank %I ACM %K %P 121-129 %T Program transformation by solving recurrences. %U http://dblp.uni-trier.de/db/conf/pepm/pepm2006.html#LucaAAK06 %@ 1-59593-196-1

@inproceedings{conf/pepm/LucaAAK06, added-at = {2023-12-13T01:05:02.000+0100}, author = {Luca, Beatrice and Andrei, Stefan and Anderson, Hugh and Khoo, Siau-Cheng}, biburl = {https://www.bibsonomy.org/bibtex/2ec0e33b9372da9b6a39c9f2e28504e35/admin}, booktitle = {PEPM}, crossref = {conf/pepm/2006}, editor = {Hatcliff, John and Tip, Frank}, ee = {https://doi.org/10.1145/1111542.1111563}, interhash = {6c91729eb68b3c2dd988aef43184bd8d}, intrahash = {ec0e33b9372da9b6a39c9f2e28504e35}, isbn = {1-59593-196-1}, keywords = {}, pages = {121-129}, publisher = {ACM}, timestamp = {2023-12-13T01:05:02.000+0100}, title = {Program transformation by solving recurrences.}, url = {http://dblp.uni-trier.de/db/conf/pepm/pepm2006.html#LucaAAK06}, year = 2006 }