马克·范·埃克伦;斯梅特泽斯,沙克;莱纳斯·普拉斯梅耶 函数编程语言的图形重写语义。 (英语) Zbl 0884.68079号 Dalen,Dirk van(编辑)等人,《计算机科学逻辑》。第十届国际研讨会,CSL’96。EACSL年会,荷兰乌得勒支。1996年9月21日至27日。精选论文。柏林:斯普林格。莱克特。注释计算。科学。1258, 106-128 (1997). 概要:lambda演算毫无疑问地形成了函数编程语言的理论支柱。对于惰性函数语言并发清理的设计和实现,我们使用了一个相关的计算模型:术语图重写系统(TGRS)。本文总结了我们在函数编程语言的图重写语义方面10年的经验后得出的主要结论。TGRS不是lambda演算的直接扩展,所以有时必须重新建立已知的理论结果。但是TGRS与函数编程的世界非常接近,它的使用已经被证明是非常值得的。在TGRS的函数中有名称、常量、模式匹配,可以选择共享表达式或复制表达式。图形约简非常准确地建模了函数语言大多数实现的基本行为,因此它为推理约简属性以及函数应用程序的时间和空间消耗奠定了良好的基础。通过唯一性键入,可以导出重要信息,以便高效实现和与命令式程序进行纯粹的功能接口。关于整个系列,请参见[Zbl 0868.00033号]. 引用于1文件 MSC公司: 68问题55 计算理论中的语义学 68甲15 编程语言理论 关键词:λ演算;惰性函数语言;术语图重写系统 软件:米兰达;清洁 PDF格式BibTeX公司 XML格式引用 \textit{M.van Eekelen}等人,Lect。注释计算。科学。1258106-128(1997年;Zbl 0884.68079)