Publications - Partial Evaluation

2008

María Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda.
A Modular Equational Generalization Algorithm
In proceedings of 18th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR08),
LNCS 5438, pages 24-39, 2008.
© Springer-Verlag
Available: DOI PDF

María Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda.
Order-Sorted Generalization
In proceedings of 17th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'08),
Electronic Notes in Theoretical Computer Science, volume 246, pages 27-38, 2008.
© Elsevier
Available: DOI link PDF