Towards Integrating Partial Evaluation in a Specialization Framework based on Generic Abstract Interpretation (1997)

by G Puebla, J Gallagher, M Hermenegildo
Venue:Proceedings of the ILPS'97 Workshop on Specialization of Declarative Programs