Proceedings 10th International Workshop on Reduction Strategies in Rewriting and Programming

TL;DR

The proceedings of the 10th International Workshop on Reduction Strategies in Rewriting and Programming (WRS'2011) present recent research papers on strategies for rewriting and programming, held as part of a larger federated conference in 2011.

Contribution

This volume compiles recent advances in reduction strategies in rewriting and programming from the WRS'2011 workshop, highlighting developments in the field over the past decade.

Findings

Collection of innovative research papers from WRS'2011

Integration with broader conference on rewriting and deduction

Highlights of recent trends and future directions in reduction strategies

Abstract

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. The WRS 2011 workshop was part of the Federated Conference on Rewriting, Deduction, and Programming (RDP'1), 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).