Reduction Strategies in Rewriting and Programming
8th International Workshop
14 July 2008, Castle of Hagenberg, Austria
The workshop promotes and stimulates research and collaboration in the area of 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 study 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 like Elan, Maude,
*OBJ*, and Stratego allow the explicit definition of the evaluation strategy, whereas languages like Clean, Curry, and Haskell allow its modification. In addition to strategies in rewriting and programming, WRS 2008 also covers the use of strategies and tactics in other areas such as theorem and termination proving.
Previous editions of the workshop were held in Utrecht (2001), Copenhagen (2002), Valencia (2003), Aachen (2004), Nara (2005), Seattle (2006), and Paris (2007). The permanent WRS site has further information. WRS 2008 collocates with RTA 2008, the 19th International Conference on Rewriting Techniques and Applications.