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

Zahira Ammarguellat Williams Ludwell Harrison III Automatic Recognition of Induction Variables and Recurrence Relations by Abstract Interpretation. 283-295 1990 PLDI db/conf/pldi/pldi90.html#AmmarguellatH90