Beyond Induction Variables: Detecting and Classifying Sequences Using a Demand-driven SSA Form (1995)

by Michael P. Gerlek, Eric Stoltz, Michael Wolfe
Venue:ACM Transactions on Programming Languages and Systems