Published: 24th April 2012|
|Preface Santiago Escobar|
|Invited Paper: The Design of GP 2 Detlef Plump||1|
|Invited Paper: Basic completion strategies as another application of the Maude strategy language Alberto Verdejo and Narciso Martí-Oliet||17|
|Lazy AC-Pattern Matching for Rewriting Walid Belkhir and Alain Giorgetti||37|
|Productivity of Non-Orthogonal Term Rewrite Systems Matthias Raffelsieper||53|
|Strategy Independent Reduction Lengths in Rewriting and Binary Arithmetic Hans Zantema||69|
This volume contains a selection of the papers presented at the 10th International Workshop on Reduction Strategies in Rewriting and Programming (WRS'2011), held on 29 May 2011 in Novi Sad, Serbia. Previous editions of the workshop were held in Utrecht (2001), Copenhagen (2002), Valencia (2003), Aachen (2004), Nara (2005), Seattle (2006), Paris (2007), Hagenberg (2008), Brasilia (2009), and Edinburgh (2010); the last one as a joint workshop with the STRATEGIES workshop.
This workshop promotes research and collaboration in the area of reduction strategies. It encourages the presentation of new directions, developments, and results as well as surveys and tutorials on existing knowledge in this area. Reduction strategies define which (sub)expression(s) should be selected for evaluation and which rule(s) should be applied. These choices affect fundamental properties of computations such as laziness, strictness, completeness, and efficiency, to name a few. For this reason programming languages such as Elan, Maude, OBJ, Stratego, and TOM allow the explicit definition of the evaluation strategy, whereas languages such as Clean, Curry, and Haskell allow its modification. In addition to strategies in rewriting and programming, WRS also covers the use of strategies and tactics in other areas such as theorem and termination proving.
WRS 2011 solicited papers on topics including but not limited to the following list:
The WRS 2011 workshop was part of the Federated Conference on Rewriting, Deduction, and Programming (RDP'11), which grouped together different events including the 22th International Conference on Rewriting Techniques and Applications (RTA'11) and the 10th International Conference on Typed Lambda Calculi and Applications (TLCA'11). There were seven original contributions to the workshop and the Program Committee selected three papers for publication. The revised versions of these selected papers are included in this volume. Each contribution was reviewed by at least four Program Committee members. This volume also includes two invited contributions by Narciso Martí-Oliet from the Universidad Complutense de Madrid in Spain and Detlef Plump from the University of York in UK. I would like to thank them for having accepted our invitation for both the scientific program and this volume. I am also grateful to Andrei Voronkov for his extremely useful EasyChair system for automation of conference chairing.
I would also like to thank all the members of the Program Committee and all the referees for their careful work in the review and selection process. Many thanks to all authors who submitted papers and to all conference participants. I gratefully acknowledge the Departamento de Sistemas Informáticos y Computación of the Universitat Politècnica de València, who has supported this event. Finally, I express our gratitude to all members of the local organization of the Federated Conference on Rewriting, Deduction, and Programming (RDP'11), whose work has made the workshop possible.
Departamento de Sistemas Informáticos y Computación
Universitat Politècnica de València
Camino de vera, s/n
E-46022 Valencia, Spain
Dan Dougherty, Worcester Polytechnic Institute, USA
Santiago Escobar, Universitat Politècnica de València, Spain
Maribel Fernández, King's College London, UK
Jürgen Giesl, RWTH Aachen, Germany
Bernhard Gramlich, Technische Universität Wien, Austria
Hélène Kirchner, Centre de Recherche INRIA Bordeaux, France
Francisco Javier López Fraguas, Universidad Complutense de Madrid, Spain
Salvador Lucas, Universitat Politècnica de València, Spain
Aart Middeldorp, University of Innsbruck, Austria
Jaco van de Pol, University of Twente, The Netherlands
Masahiko Sakai, Nagoya University, Japan
Manfred Schmidt-Schauss, Johann Wolfgang Goethe-Universität, Germany
Femke Van Raamsdonk