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 Specialisation of Declarative Programs and its Application, K.U. Leuven, Tech. Rep. CW 255