Detection of Recurrences in Sequential Programs with Loops (1993)

by X Redon, P Feautrier
Venue:In Proc. Conf. Parallel Architectures and Languages Europe