Automatic Recognition of Induction Variables and Recurrence Relations by Abstract Interpretation.

Zahira Ammarguellat, Williams Ludwell Harrison III

Browse the full PLDI paper archive.