Encyclopedia > Partial evaluation

  Article Content

Partial evaluation

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

All Wikipedia text is available under the terms of the GNU Free Documentation License

  Search Encyclopedia

Search over one million articles, find something about almost anything!
  Featured Article
Sanskrit language

... are many tatpurushas (one for each of the nominal cases, and a few others besides); in a tatpurusha, one component is related to another. For example, a doghouse is ...

This page was created in 23.8 ms