Automatic recognition of induction variables and recurrence relations by abstract interpretation (1990)

by Z Ammerguallat, W L Harrison
Venue:In proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI