Program transformation by solving recurrences (2006)

by B LUCA, S ANDREI, H ANDERSON, S-C KHOO
Venue:In ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation (PEPM ’06). ACM