Publications - Programmable Execution Strategies
-
2010
-
-
María Alpuente,
Santiago Escobar,
Bernhard Gramlich,
Salvador Lucas.
On-Demand Strategy Annotations Revisited: An Improved On-Demand Evaluation Strategy
Theoretical Computer Science,
Volume 411, Issue 2, 2 January 2010, Pages 504-541.
© Elsevier
Available:
DOI link
Preliminary version
2005
-
-
María Alpuente,
Santiago Escobar,
Salvador Lucas.
A Note on Syntactic Annotations for Narrowing
In proceedings of
Quintas Jornadas sobre Programación y Lenguajes, PROLE'05,
2005.
© Thomson
Available:
Abstract
PDF
-
-
Francisco Durán,
Santiago Escobar,
Salvador Lucas.
On-demand Evaluation for Maude
Proc. of
5th International Workshop on Rule-Based Programming, RULE'04.
Electronic Notes in Theoretical Computer Science,
124:25-39, 2005.
© Elsevier
Available:
ENTCS link
PDF
-
-
Francisco Durán,
Santiago Escobar,
Salvador Lucas.
New evaluation commands for Maude within Full Maude
Proc. of
5th International Workshop on Rewriting Logic and its Applications,
WRLA'04,
Electronic Notes in Theoretical Computer Science,
117:263-284. 2005.
© Elsevier
Available:
ENTCS link
Abstract
PDF
2004
-
-
Francisco Durán,
Santiago Escobar,
Salvador Lucas.
Towards (constructor) normal forms for Maude within Full Maude
In Proceedings of the
IV Jornadas sobre Programación y Lenguajes (PROLE'04),
pages 125-136, 2004.
Available:
PDF
-
-
María Alpuente,
Santiago Escobar,
Salvador Lucas.
Correct and Complete (Positive) Strategy Annotations for OBJ
4th Int'l Workshop on Rewriting Logic and
its Applications (WRLA 2002), Pisa (Italy).
Electronic
Notes in Theoretical Computer Science, Vol. 71, 2004.
© Elsevier
2003
-
-
María Alpuente,
Santiago Escobar,
Salvador Lucas.
On-Demand evaluation by program transformation
In Proc. of the 4th International Workshop on Rule-Based Programming (RULE'03).
Electronic Notes on Theoretical Computer Science, volume 86, issue 2. 2003
© Elsevier
Available:
Abstract
PDF
-
-
María Alpuente,
Santiago Escobar,
Salvador Lucas.
OnDemandOBJ: A Laboratory for Strategy Annotations
In Proc. of the 4th International Workshop on Rule-Based Programming (RULE'03).
Electronic Notes on Theoretical Computer Science, volume 86, issue 2. 2003
© Elsevier
Available:
Abstract
PDF
2002
-
-
María Alpuente,
Santiago Escobar,
Salvador Lucas.
A transformation for implementing on-demand strategy annotations
Proc. of 3rd International Workshop on the Implementation of Logics.
Tbilisi, Georgia, October 2002.
Superseded by this ENTCS publication
-
-
María Alpuente,
Santiago Escobar,
Salvador Lucas.
A program transformation for implementing on-demand strategy annotations
Proc. of 14th International Workshop on the Implementation of Functional Languages, IFL'02,
Madrid (Spain).
Superseded by this ENTCS publication
-
-
María Alpuente,
Santiago Escobar,
Bernhard Gramlich,
Salvador Lucas.
Improving On-demand Rewriting Annotations
9th Int'l Conf. on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2002),
Tbilisi (Georgia),
LNAI 2514, pages 1-18, Springer-Verlag, Berlin, 2002
© Springer-Verlag
Available:
Abstract
Postscript
PDF
-
-
María Alpuente,
Santiago Escobar,
Salvador Lucas.
Correct and Complete (Positive) Strategy Annotations for OBJ
In Proc. of the 4th Int'l Workshop on Rewriting Logic and
its Applications (WRLA 2002), Pisa (Italy).
Superseded by this ENTCS publication
Last modified: Sun Nov 29 18:45:01 CET 2009