Zahira Ammarguellat, Williams Ludwell Harrison III. Automatic Recognition of Induction Variables and Recurrence Relations by Abstract Interpretation. In PLDI. pages 283-295, 1990.
No references recorded for this publication.
No citations of this publication recorded.