Staging static analysis using abstraction-based program specialization (1998)

by J Hatcliff, M B Dwyer, S Laubach
Venue:In LNCS 1490. Principles of Declarative Programming 10th International Symposium, PLILP'98