V2EX  ›  英汉词典

Partial Evaluation

释义 Definition

Partial evaluation(部分求值/偏求值):一种程序优化与自动生成技术。在已知程序一部分输入(或运行环境)时,先把能提前计算的部分先算出来,生成一个对剩余输入更高效的“专用版”程序。常见于编译优化、程序特化、元编程与性能工程等领域。

发音 Pronunciation (IPA)

/ˈpɑːrʃəl ɪˌvæljuˈeɪʃən/

例句 Examples

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.
把解释器针对固定的语言语义进行部分求值后,我们可以得到一个类似“编译器”的专用程序。

词源 Etymology

Partial 源自拉丁语 partialis(“部分的”),evaluation 源自法语/拉丁语传统(与“评估、求值”相关)。在计算机科学语境中,evaluation 常特指“对表达式/程序进行求值(计算结果)”。合起来指“对程序进行部分(提前)求值”,这一术语在20世纪后期的程序变换与语义学研究中逐渐固定下来。

相关词 Related Words

文学与著作 Literary & Notable Works

  • Neil D. Jones, Carsten K. Gomard, Peter Sestoft: Partial Evaluation and Automatic Program Generation(经典专著,系统介绍部分求值理论与实践)
  • John Hatcliff, Olivier Danvy 等关于部分求值与程序特化的研究论文(常以“partial evaluation / program specialization”为核心术语出现)
  • 编译原理与程序分析教材中关于“程序特化(specialization)/部分求值”的章节(作为优化与程序变换的重要方法出现)
关于   ·   帮助文档   ·   自助推广系统   ·   博客   ·   API   ·   FAQ   ·   Solana   ·   929 人在线   最高记录 6679   ·     Select Language
创意工作者们的社区
World is powered by solitude
VERSION: 3.9.8.5 · 11ms · UTC 23:47 · PVG 07:47 · LAX 15:47 · JFK 18:47
♥ Do have faith in what you're doing.