Preface

Bernhard Gramlich, Salvador Lucas
2001 Electronical Notes in Theoretical Computer Science  
1st International Workshop on The motivation to organize this forum stems from the fact that reduction strategies in rewriting and programming have attracted an increasing attention within the last years. New types of reduction strategies have been invented and investigated, and new results on rewriting/computation under particular strategies have been obtained. Research in this field ranges from primarily theoretical questions about reduction strategies to very practical application and
more » ... ntation issues. The need for a deeper understanding of reduction strategies in rewriting and programming, both in theory and practice, is obvious, since they bridge the gap between unrestricted general rewriting (computation) and (more deterministic) rewriting with particular strategies (programming). Moreover, reduction strategies provide a natural way to go from operational principles (e.g., graph and term rewriting, narrowing, lambda-calculus) and semantics (e.g., normalization, computation of values, infinitary normalization, head-normalization) to implementations of programming languages. Topics of interest for the workshop included, but were not restricted to,
doi:10.1016/s1571-0661(05)80558-4 fatcat:zsj5neatxff5hfcii2b6kqan6q