赫莱内·基什内尔；皮埃尔·埃蒂安·莫罗 将重写提升为编程语言：结合交换理论中用于非确定性重写程序的编译器。 （英语） Zbl 0979.68055号 J.功能。程序。 第2期第11页，207-251（2001）. 摘要：基于重写规则的一阶语言与函数式语言具有许多相同的特征，但一个不同之处是，通过结合一些内置的等式理论，匹配和重写可以变得更具表现力和功能性。为了提供合理的编程环境，必须设计基于重写的此类语言的编译技术。这就是本文的主题。所提出的技术独立于重写语言，对于使用重写模关联和交换（AC）理论为任何系统构建编译器都是有用的。提出了一种多对一交流匹配算法，该算法对一类受限的模式有效。其他模式将被转换以适合此类。改进的数据结构，即紧凑的二部图，允许对与一组重写规则相关的所有匹配问题进行编码。描述了关于代换项和约化项构造的一些优化。我们还解决了与AC重写相关的非决定论问题，并展示了如何通过策略的概念来处理它。我们解释了如何在编译时执行确定性分析，并说明了这种分析对编译的评估过程的性能的好处。然后我们简要介绍了ELAN系统及其编译器，以便给出一些实验结果，并与其他语言或重写引擎进行比较。 引用于9文件 MSC公司： 第68季度第42季度 语法和重写系统 关键词：重写规则 软件：低成本融资；克莱尔；清洁；OBJ3型；ELAN公司；ATERM公司；VAMPIRE公司；埃尔朗 PDF格式BibTeX公司 XML格式引用 \textit{H.Kirchner}和\textit{P.-E.Moreau}，J.Funct。程序。11，第2号，207--251（2001；Zbl 0979.68055）