Online Type-Directed Partial Evaluation
Online Type-Directed Partial Evaluation
复制标题
在线类型导向部分评估
DOI：
10.7146/brics.v4i53.19274
复制
发表时间：
1997
期刊：
影响因子：
--
通讯作者：
O. Danvy
中科院分区：
文献类型：
--
作者：
O. Danvy
在这个实验工作中，我们扩展了类型导向的部分求值（a.k.a.“无归约标准化”和“评估标准化”），通过用原始操作（增量规则）丰富它来使其在线。对基元运算符的每个调用都是展开的或剩余的，这取决于操作数，并且使用默认策略或用户提供的过滤器。用户还可以通过模式匹配操作数来指定如何剩余化操作。运算符可以是纯运算符，也可以具有计算效果。我们报告了一个完整的实现在线类型导向的部分评估计划，扩展我们早期的离线实现。我们的部分求值器是本地的，因为它运行编译后的代码，而不是使用通常的元级符号求值技术。
In this experimental work, we extend type-directed partial evaluation (a.k.a. "reduction-free normalization" and "normalization by evaluation") to make it online, by enriching it with primitive operations (delta-rules). Each call to a primitive operator is either unfolded or residualized, depending on the operands and either with a default policy or with a user-supplied filter. The user can also specify how to residualize an operation, by pattern-matching over the operands. Operators may be pure or have a computational effect. We report a complete implementation of online type-directed partial evaluation in Scheme, extending our earlier offline implementation. Our partial evaluator is native in that it runs compiled code instead of using the usual meta-level technique of symbolic evaluation.