Electronic Notes in Theoretical Computer Science, Volume 57

Volume 57, 2001

• Bernhard Gramlich, Salvador Lucas:
  1st International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2001) - Preface.
  Electronic Edition (link) BibTeX
• Sergio Antoy:
  Evaluation Strategies for Functional Logic Programming.
  Electronic Edition (link) BibTeX
• María Alpuente, Francisco J. Correa, Moreno Falaschi:
  Declarative Debugging of Functional Logic Programs.
  Electronic Edition (link) BibTeX
• Jaco van de Pol:
  Just-in-time: On Strategy Annotations.
  Electronic Edition (link) BibTeX
• Ralf Lämmel:
  Generic Sort-Preserving Traversal Strategies.
  Electronic Edition (link) BibTeX
• Quang Huy Nguyen:
  Compact Normalisation Trace via Lazy Rewriting.
  Electronic Edition (link) BibTeX
• Eelco Visser:
  A Survey of Strategies in Program Transformation Systems.
  Electronic Edition (link) BibTeX
• Patricia Johann, Eelco Visser:
  Fusing Logic and Control with Local Transformations: An Example Optimization.
  Electronic Edition (link) BibTeX
• René Vestergaard:
  The Simple Type Theory of Normalization by Evaluation.
  Electronic Edition (link) BibTeX
• Michael Hanus:
  Reduction Strategies for Declarative Programming.
  Electronic Edition (link) BibTeX
• Tetsuo Ida:
  Hot Topics in Reduction Strategies - A Panelist's View.
  Electronic Edition (link) BibTeX
• Paul Klint:
  Is Strategic Programming a Viable Paradigm?
  Electronic Edition (link) BibTeX