Program specialisation and abstract interpretation reconciled (1998)

by Michael Leuschel
Venue:In Joint International Conference and Symposium on Logic Programming