Main Page | See live article | Alphabetical index Partial Evaluation is a program optimization by spezialication technique. A computer program is seen as a mapping prog: {Istatic, Idynamic} ==> O of input data into output data. Istatic is the part of the input data known at compile time. The partial evaluator transforms {prog, Istatic} into prog* i.e. precomputes all static input at compile time. prog* is called the residual program. prog: {Istatic, Idynamic} > O becomes prog*: Idynamic > O which in general runs more efficiently. See also C++ Template metaprogramming C++ Templates as Partial Evaluation, 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'99) NEIL D. JONES, An Introduction to Partial Evaluation, ACM Computing Surveys, Vol. 28, No. 3, September 1996 This article is from Wikipedia. All text is available under the terms of the GNU Free Documentation License.