Electronic Notes in Theoretical Computer Science, Volume 57

Volume 57, 2001

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

Last update Sat May 26 07:12:41 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page