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
Rameses

... from Rameses Ramses, also spelled Rameses, is the name of several Egyptian pharaohs: Ramses I[?] Ramses II ("The Great") Ramses III Ramses IV[?] The na ...

 
 
 
This page was created in 21.3 ms