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. In PLDI. pages 283-295, 1990.

Abstract

Abstract is missing.