Publications - Program Optimization

2007

María Alpuente, Santiago Escobar, Salvador Lucas.
Removing Redundant Arguments Automatically
Theory and Practice of Logic Programming, Volume 7, Issues 1-2, pages 3-35, 2007.
© Cambridge University Press
Available: DOI link Online version (CoRR)

2002

María Alpuente, Rachid Echahed, Santiago Escobar, Salvador Lucas.
Redundancy of Arguments Reduced to Induction
In Proc. of the 11th International Workshop on Functional and (constraint) Logic Programming (WFLP'2002), Grado (Italy).
Electronic Notes in Theoretical Computer Science, Vol. 76.
© Elsevier
Available: Abstract Postscript PDF

María Alpuente, Rachid Echahed, Santiago Escobar, Salvador Lucas.
Redundancy of Arguments Reduced to Induction
In Proc. of the 11th International Workshop on Functional and (constraint) Logic Programming (WFLP'2002), Grado (Italy).
Research Report UDMI/18/2002/RR, pages 255-268. July 2002.
Superseded by this ENTCS publication

María Alpuente, Santiago Escobar, Salvador Lucas.
Removing Redundant Arguments of Functions
In Proc. of the 9th International Conference on Algebraic Methodology And Software Technology (AMAST'2002),
LNCS 2422, pages 117-131, 2002.
© Springer-Verlag
Superseded by this journal publication

2000

María Alpuente, Santiago Escobar, Salvador Lucas.
Redundancy Analyses in Term Rewriting
In Proc. of the 9th Int'l Workshop on Functional and Logic Programming (WFLP2000), SPUPV 2000.2039, pages 309-323. Benicassim (Spain), September 2000.
Available: Abstract PostScript BibTeX entry