Program specialization via algorithmic unfold/fold transformations (1998)

by A Pettorossi, M Proietti
Venue:ACM Computing Surveys