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