Staging analysis using abstraction-based program specialization (1998)

by J Hatcliff, M Dwyer, S Laubach
Venue:Proceedings of ALP/PLILP’98, LNCS 1490