第九届重写与编程中归约策略国际研讨会论文集
编程语言
2010-01-27 v1 计算机科学中的逻辑
符号计算
软件工程
摘要
本卷收录了2009年6月28日在巴西利亚举行的第九届重写与编程中归约策略国际研讨会（WRS2009）上发表的论文选集。该研讨会与RTA 2009（第二十届重写技术与应用国际会议）相关联，并作为重写、演绎与编程联合会议（RDP）的一部分。归约策略定义了应选择哪个（子）表达式进行求值以及应应用哪条规则。这些选择会影响归约的基本性质，如完备性、惰性以及整体效率。WRS研讨会旨在促进归约策略及其在规约与编程、定理证明、软件工程等领域的应用方面的研究与合作。
引用
@article{arxiv.1001.4573,
title = {Proceedings Ninth International Workshop on Reduction Strategies in Rewriting and Programming},
author = {Maribel Fernández},
journal= {arXiv preprint arXiv:1001.4573},
year = {2010}
}