International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2001)

Accepted Papers

• Just-in-time: On Strategy Annotations
  by Jaco van de Pol



• Compact Normalisation Trace via Lazy Rewriting
  by Quang Huy Nguyen



• The Simple Type Theory of Normalization by Evaluation
  by René Vestergaard



• Fusing Logic and Control with Local Transformations: An Example Optimization
  by Patricia Johann and Eelco Visser



• Declarative Debugging of Functional Logic Programs
  by Maria Alpuente, Francisco J. Correa and Moreno Falaschi



• Generic Sort-Preserving Traversal Strategies
  by Ralf Laemmel



• A Rewrite System for Automatic Generation of Detailed Kinetic Models for Gas-phase Oxidation and Combustion of Polycyclic Hydrocarbon Molecules (Position Paper)
  by Liliana Ibanescu