第九届重写和编程中的简化策略国际研讨会
Proceedings Ninth International Workshop on Reduction Strategies in Rewriting and Programming
摘要：
本卷包含在2009年6月28日在巴西利亚举行的第九届重写和编程中的缩减策略国际研讨会（WRS 2009）上提交的论文，与RDP的RTA 2009（第20届重写技术和应用国际会议）有关，联邦会议重写，演绎和编程。归约策略定义应选择哪些（子）表达式进行评估以及应应用哪些规则。这些选择会影响约简的基本属性，例如完整性、惰性和效率。WRS研讨会促进了约简策略及其在规范和编程、定理证明、软件工程等领域的应用方面的研究和合作。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
