Program Specialisation and Abstract Interpretation Reconciled (1998)

by M Leuschel
Venue:Proceedings of the Joint International Conference and Symposium on Logic Programming JICSLP'98, 220--234