Beyond induction variables: Detecting and classifying sequences using a demand-driven SSA form (1995)

by M P Gerlek, E Stoltz, M Wolfe
Venue:ACM Transactions on Programming Languages and Systems