English Dictionary

partial evaluation

名詞

(computing theory) A technique for program optimization by specialization, so as to produce new programs which run faster than the originals while guaranteed to behave in the same way.

日本語の意味

定数など一部のパラメータを事前に固定することで、プログラムの実行時の処理を簡素化し最適化された新たなプログラムを生成する手法。元のプログラムと同一の動作が保証されながら、実行速度が向上することを目的とする。

Researchers applied partial evaluation to the interpreter, producing a specialized program that ran orders of magnitude faster.

研究者たちはインタプリタに部分評価を適用し、同じ挙動を保ちながら桁違いに高速に動作する特殊化されたプログラムを生成した。

意味（1）

(computing theory) A technique for program optimization by specialization, so as to produce new programs which run faster than the originals while guaranteed to behave in the same way.