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

  • Last modified: Mon Apr 13 10:33:13 CDT 2009