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