Proceedings Ninth International Workshop on Reduction Strategies in Rewriting and Programming
Maribel Fern\'andez (King's College London)

TL;DR
This collection of papers from WRS2009 explores reduction strategies in rewriting and programming, focusing on their impact on evaluation properties, efficiency, and applications across various computing fields.
Contribution
The workshop presents recent research advances in reduction strategies, emphasizing their role in improving evaluation techniques and their applications in programming and theorem proving.
Findings
Enhanced understanding of reduction strategies' impact on evaluation properties
New methods for optimizing rewriting processes
Applications in software engineering and theorem proving
Abstract
This volume contains selected papers presented at the 9th International Workshop on Reduction Strategies in Rewriting and Programming, WRS2009, which was held in Brasilia on the 28th June 2009, associated to RTA 2009 (the 20th International Conference on Rewriting Techniques and Applications) at RDP, the Federated Conference on Rewriting, Deduction and Programming. 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. The WRS workshops promote research and collaboration in the area of reduction strategies and their applications in specification and programming, theorem proving, software engineering, etc.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
