Beatrice Luca, Stefan Andrei, Hugh Anderson, Siau-Cheng Khoo. Program transformation by solving recurrences. In John Hatcliff, Frank Tip, editors, Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006, Charleston, South Carolina, USA, January 9-10, 2006. pages 121-129, ACM, 2006. [doi]
Abstract is missing.