Published: 26th January 2010|
|Preface Maribel Fernandez|
|Extensional and Intensional Strategies Tony Bourdier, Horatiu Cirstea, Daniel Dougherty and Hélène Kirchner||1|
|Superdevelopments for Weak Reduction Eduardo Bonelli and Pablo Barenbaum||20|
|Strategies in PRholog Besik Dundua, Temur Kutsia and Mircea Marin||32|
|Specification of Products and Product Lines Ariel Gonzalez and Carlos Luna||44|
|Extending Context-Sensitivity in Term Rewriting Bernhard Gramlich and Felix Schernhammer||56|
|Principal Typings in a Restricted Intersection Type System for Beta Normal Forms with De Bruijn Indices Daniel Ventura, Mauricio Ayala-Rincón and Fairouz Kamareddine||69|
|Stream Productivity by Outermost Termination Hans Zantema and Matthias Raffelsieper||83|
The WRS workshops promote research and collaboration in the area of reduction strategies and their applications in specification, programming, software engineering and theorem proving, amongst others. 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 reductions, such as completeness, laziness and efficiency in general. 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.
This volume contains selected papers presented at the 9th International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2009. In addition to an invited contribution by Tony Bourdier, Horatiu Cirstea, Daniel Dougherty and Hélène Kirchner, which discusses the foundations for the definition and analysis of reduction strategies, this volume includes six papers covering a wide range of topics, including the use of strategies in lambda-calculus and rewriting to obtain weak or strong normalisation of the computation process, strategies in logic programming languages, and the use of rule systems with appropriate strategies to solve software engineering problems.
The workshop WRS 2009 was held in Brasilia on the 28th June 2009, associated to RTA 2009 (the 20th International Conference on Rewriting Techniques and Applications), and was part of the Federated Conference on Rewriting, Deduction and Programming (RDP). Previous editions of the workshop were held in Utrecht (2001), Copenhagen (2002), Valencia (2003), Aachen (2004), Nara (2005), Seattle (2006), Paris (2007) and Hagenberg (2008).
The Programme Committee of WRS 2009 consisted of:
London, December 2009