RTA-93 - Fifth International Conference on Rewriting Techniques and Applications; Montreal, Canada; June 16-18, 1993

RTA-93 - 第五届重写技术和应用国际会议；

• 批准号: 9302878
• 负责人: Jieh Hsiang
• 金额: $ 0.8万
• 依托单位: SUNY at Stony Brook
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1993
• 资助国家: 美国
• 起止时间: 1993-04-01 至 1993-09-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9302878&HistoricalAwards=false
• 关键词: RTA; 93; Fifth; International; Conference

The notion of term rewriting was conceived in the late sixties starting from a seminal paper by Knuth and Bendix. It later evolved into a powerful tool bridging between programming languages and logic in computer science. In addition to extensive theoretical results, it has been applied to symbolic and algebraic computation, automated deduction, programming languages and compiler optimization, termination and correctness of programs, grammars, lambda and combinatory calculi, and has been the catalyst in the inception of constraint solving and unification theory. In recent years studies have also been initiated in using rewriting as a model for concurrency, as well as a viable solution to combining functional and logic programming paradigms. Due to the popularity of the subject, there has been an increase in graduate students studying in areas related to term rewriting. This grant is to defray cost of participation for about fifteen U.S. computer science graduate students.

术语重写的概念是在60年代末从Knuth和Bendex的一篇开创性论文开始构思的。它后来演变成计算机科学中编程语言和逻辑之间的强大工具。除了广泛的理论结果外，它还被应用于符号和代数计算、自动演绎、编程语言和编译器优化、程序的终止和正确性、文法、lambda和组合演算，并一直是约束求解和统一理论诞生的催化剂。近年来，使用重写作为并发模型以及组合函数式和逻辑式编程范例的可行解决方案的研究也已启动。由于这门学科的流行，越来越多的研究生学习与学期重写相关的领域。这笔助学金用于支付大约15名美国计算机科学研究生的参与费用。