部分评估

部分评估是通过专业化研究程序转换的计算机科学的一个分支。任何函数都可以通过将其一个或多个输入固定为特定值来进行专门化。专门化产生的程序输入数是初始输入数减去其值为常量的输入数。这些专门的程序也称为剩余程序。

克莱恩'秒 秒-米-n个定理确立了职能专业化的理论可能性。部分评估将这种思想应用于计算机程序。请注意，克莱恩定理并没有解决专业功能的效率，而部分评估的目标是程序优化。

部分求值是通过检测仅依赖于值固定的专用变量的代码片段，以及通过符号化预计算这些片段来完成的。剩余程序将运行得更快，因为它缺少上述片段。

例如，考虑一下程序

(1)

此程序计算对于正整数。如果，则部分评估将此程序简化为以下内容：

(2)

（琼斯）等。1993).

实现部分求值的符号计算适用于表达式和程序控制结构。这些符号计算涉及函数调用和循环展开。