Xavier Redon, Paul Feautrier. Detection of Recurrences in Sequential Programs with Loops. In Arndt Bode, Mike Reeve, Gottfried Wolf, editors, PARLE 93, Parallel Architectures and Languages Europe, 5th International PARLE Conference, Munich, Germany, June 14-17, 1993, Proceedings. Volume 694 of Lecture Notes in Computer Science, pages 132-145, Springer, 1993.
Abstract is missing.