彼得·博罗万斯克；克洛德·基什内尔；赫莱内·基什内尔；克里斯托夫·林盖森 用\（\mathsf{ELAN}\）中的策略重写：一种函数语义。 （英语） 兹比尔1319.68125 发现的国际期刊。计算。科学。 12，第1号，69-95（2001）. 摘要：在这项工作中，我们从功能的角度考虑术语重写。重写规则是可以使用显式应用程序函数应用于术语的函数。从这个起点开始，我们将展示如何构建更精细的函数，首先描述重写派生，然后描述派生集。我们称之为策略的这些函数本身可以由重写规则定义，构造可以迭代，从而得到高阶策略。此外，应用函数本身也是以同样的精神通过重写来定义的。我们提出了这种演算并研究了它的性质。它在\mathsf{ELAN}语言中的实现用于激励和例证整个方法。通过多态函数和策略的示例说明了\mathsf{ELAN}的表达能力。 引用于26文件 MSC公司： 2012年第68季度 语法和重写系统 68甲18 函数编程和lambda演算 关键词：重写微积分；重写逻辑；基于重写的语言；项重写；策略；匹配 PDF格式BibTeX公司 XML格式引用 \textit{P.Borovanskí}等人，国际期刊发现。计算。科学。12，第1号，69--95（2001；Zbl 1319.68125） 全文： 内政部 参考文献： [1] Borovansky P.，Prance第98页–（1998） [2] Castro C.，《基础信息》34，第263页–（1998年） [3] Clavel M.G.，加利福尼亚州，第263页–（1996年） [4] 新泽西州Constable R.L.，第07632页–（1986） [5] 内政部：10.1016/0304-3975（92）90182-F·Zbl 0758.68043号 ·doi:10.1016/0304-3975（92）90182-F [6] Moreau P.-E.，施普林格出版社，第98页–（1998年） [7] 内政部：10.1016/0167-6423（83）90008-4·Zbl 0551.68076号 ·doi:10.1016/0167-6423（83）90008-4 [8] 内政部：10.1007/BF00248324·Zbl 0679.68173号 ·doi:10.1007/BF00248324 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。