Staging analysis using abstraction-based program specialization (1998)

by J Hatcliff, M Dwyer, S Laubach
Venue:Principles of Declarative Programming, LNCS 1490, 134–151