第 10 届重写与编程中的归约策略国际研讨会论文集
计算机科学中的逻辑
2012-04-25 v1 编程语言
摘要
本卷收录了于 2011 年 5 月 29 日在塞尔维亚诺维萨德举行的第 10 届重写与编程中的归约策略国际研讨会（WRS'2011）上发表的论文选集。该研讨会的前几届分别在乌得勒支（2001 年）、哥本哈根（2002 年）、瓦伦西亚（2003 年）、亚琛（2004 年）、奈良（2005 年）、西雅图（2006 年）、巴黎（2007 年）、哈根贝格（2008 年）、巴西利亚（2009 年）和爱丁堡（2010 年）举行；最后一届是与 STRATEGIES 研讨会联合举办的。WRS 2011 研讨会是重写、演绎与编程联合会议（RDP'1）的一部分，该会议汇集了包括第 22 届重写技术与应用国际会议（RTA'11）和第 10 届类型 lambda 演算与应用国际会议（TLCA'11）在内的不同活动。
引用
@article{arxiv.1204.5318,
title = {Proceedings 10th International Workshop on Reduction Strategies in Rewriting and Programming},
author = {Santiago Escobar},
journal= {arXiv preprint arXiv:1204.5318},
year = {2012}
}