Partial evaluation（部分求值/偏求值）：一种程序优化与自动生成技术。在已知程序一部分输入（或运行环境）时，先把能提前计算的部分先算出来，生成一个对剩余输入更高效的“专用版”程序。常见于编译优化、程序特化、元编程与性能工程等领域。
/prl vljuen/
Partial evaluation can speed up a program when some inputs are known in advance.
当部分输入已提前已知时，部分求值可以加速程序运行。
By partially evaluating the interpreter with respect to a fixed language semantics, we can obtain a specialized compiler-like program.
把解释器针对固定的语言语义进行部分求值后，我们可以得到一个类似“编译器”的专用程序。
Partial 源自拉丁语 partialis（“部分的”），evaluation 源自法语/拉丁语传统（与“评估、求值”相关）。在计算机科学语境中，evaluation 常特指“对表达式/程序进行求值（计算结果）”。合起来指“对程序进行部分（提前）求值”，这一术语在20世纪后期的程序变换与语义学研究中逐渐固定下来。
Select Language