Publications - Automatic Execution Strategies


2006

  • Santiago Escobar, José Meseguer, Prasanna Thati.
    Narrowing and Rewriting Logic: from Foundations to Applications (invited paper)
    In proceedings of 15th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'06),
    Electronic Notes in Theoretical Computer Science, volume 177, pages 5-33, 2007.
    © Elsevier
    Available: DOI link PDF
  • 2005

  • Santiago Escobar, José Meseguer, Prasanna Thati.
    Natural Narrowing for General Term Rewriting Systems
    In proceedings of 16th International Conference on Rewriting Techniques and Applications (RTA 2005).
    LNCS 3467:279-293, 2005.
    © Springer-Verlag
    Available: PDF
  • Santiago Escobar, José Meseguer, Prasanna Thati.
    Natural Rewriting for General Term Rewriting Systems
    In proceedings of International Symposium on Logic Based Program Synthesis and Tranformation (LOPSTR 2004).
    LNCS 3573:101-116, 2005.
    © Springer-Verlag
    Available: PDF
  • 2004

  • Santiago Escobar, José Meseguer, Prasanna Thati.
    A General Natural Rewriting Strategy (extended abstract)
    In Proceedings of the IV Jornadas sobre Programación y Lenguajes (PROLE'04), pages 97-100, 2004.
    Available: PDF
  • Santiago Escobar, José Meseguer, Prasanna Thati.
    Natural Rewriting for General Term Rewriting Systems
    Pre-proceedings of International Symposium on Logic Based Program Synthesis and Tranformation (LOPSTR), 2004.
    Superseded by this LNCS publication
  • Santiago Escobar.
    Implementing Natural Rewriting and Narrowing Efficiently
    In Y. Kameyama and P. Stuckey, editors, Proc. of the 7th International Symposium on Functional and Logic Programming (FLOPS'2004).
    LNCS 2998 , pages 147 - 162, 2004.
    © Springer-Verlag
    Available: Springer link / Abstract / Postscript / PDF
  • 2003

  • Santiago Escobar.
    Refining Weakly Outermost-Needed Rewriting and Narrowing
    In Proc. of the Fifth ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP'03), pages 113-123, 2003.
    ©
    ACM Press
    Available: ACM link PDF BibTeX entry
  • Santiago Escobar.
    Improving (Weakly) Outermost-Needed Narrowing: Natural Narrowing
    In G. Vidal, editor, Pre-proceedings of the 12th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'03).
    2003.
    Superseded by
    this ACM publication.
  • 1999

  • María Alpuente, Santiago Escobar, Salvador Lucas.
    UPV-Curry: An Incremental Curry Interpreter
    In J. Pavelka, G. Tel, and M. Bartosek, editors, Proc. of 26th Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM'99, LNCS 1725, pages 331-339, Milovy, Czech Republic, November 1999.
    © Springer-Verlag
    Available: Abstract / DVI / PostScript / BibTeX entry
  • María Alpuente, Santiago Escobar, Salvador Lucas.
    Incremental Needed Narrowing
    In P. Tarau and K. Sagonas, editors, Proc of the Int'l Workshop on Implementation of Declarative Languages, IDL'99, 1999.
    Available: Abstract / DVI / PostScript / HTML / BibTeX entry
  • María Alpuente, Santiago Escobar, Salvador Lucas.
    An Incremental Needed Narrowing Calculus for Curry
    In M.C. Meo and M. Vilares, editors, Proc of the 1999 Joint Conference on Declarative Programming, AGP'99, L'Acquila (Italy), 1999.
    Available: BibTeX entry
  • María Alpuente, Santiago Escobar, Salvador Lucas.
    An Incremental Curry Interpreter
    In Proc. of the 8th International Workshop on Functional and Logic Programming WFLP'99, Grenoble (France), 1999.
    Available: BibTeX entry

  • Last modified: Wed Jul 7 22:37:31 CEST 2010