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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team