Efficient lambda-Evaluation with Interaction Nets
Efficient lambda-Evaluation with Interaction Nets
复制标题
使用交互网络进行高效 lambda 评估
DOI：
10.1007/978-3-540-25979-4_11
复制
发表时间：
2004
期刊：
影响因子：
--
通讯作者：
I. Mackie
中科院分区：
文献类型：
--
作者：
I. Mackie
本文利用交互网的图重写形式给出了λ演算的一个有效实现。建立在一系列以前的作品，我们获得了这种最有效的实现之一：执行现有的交互网络实现，以及其他方法。我们总结了广泛的测试，以证明这种评估的能力的文件。
This paper presents an efficient implementation of theλ-calculus using the graph rewriting formalism of interaction nets. Building upon a series of previous works, we obtain one of the most efficient implementations of this kind to date: out performing existing interaction net implementations, as well as other approaches. We conclude the paper with extensive testing to demonstrate the capabilities of this evaluator.