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