Program transformation by solving recurrences.

Beatrice Luca, Stefan Andrei, Hugh Anderson, Siau-Cheng Khoo

Browse the full PEPM paper archive.