弗朗索瓦·雷吉斯·西诺;玛丽贝尔·费尔南德斯;伊恩·麦基 使用导向器串进行有效的缩减。 （英语） Zbl 1038.68025号 Nieuwenhuis，Robert（编辑），重写技术和应用。2003年6月9日至11日在西班牙巴伦西亚举行的RTA 2003第14届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40254-3/pbk）。莱克特。注释计算。科学。2706, 46-60 (2003). 摘要：我们提出了一个基于控制器字符串的广义概念的带有显式替换的无名称（lambda）演算：我们用关于每个替换应该如何传播到术语中的信息来注释术语。我们首先提出了一种演算，在该演算中，我们可以模拟任意（β）-约简步骤，然后简化规则以模拟函数程序的评估（约简为弱头范式）。我们还表明，我们可以推导出闭合约简策略（弱策略，与标准弱策略相比，弱策略允许在（lambda）抽象内部进行某些约简，从而提供更多共享）。我们的实验结果证实，对于大型组合词，我们的弱评估策略表现优于标准评估器。此外，我们还导出了两个用于强约简的抽象机器，它们继承了弱求值器的效率。关于整个系列，请参见[Zbl 1029.00060号]. 引用于4文件 MSC公司： 68甲18 函数编程和lambda演算 03B40型 组合逻辑与lambda演算 第68季度第42季度 语法和重写系统 PDF格式BibTeX公司 XML格式引用 \textit{F.-R.Sinot}等人，Lect。注释计算。科学。2706、46-60（2003年；Zbl 1038.68025） 全文： 链接