Partial Evaluation

In computing, partial evaluation is a technique for several different types of program optimization by specialization. The most straightforward application is to produce new programs which run faster than the originals while being guaranteed to behave in the same way.

A computer program, prog, is seen as a mapping of input data into output data:

, the static data, is the part of the input data known at compile time.

The partial evaluator transforms into by precomputing all static input at compile time. is called the "residual program" and should run more efficiently than the original program. The act of partial evaluation is said to "residualize" to .

Read more about Partial EvaluationFutamura Projections

Other articles related to "evaluation, partial evaluation, partial evaluations":

Edward D. Thalmann - Bibliography - Non-Refereed Journals and Reports
... "Manned evaluation of the NCSC diver thermal protection (DTP) passive system prototype." ... "Manned evaluation of the pre-production MK 16 underwater breathing apparatus." ... Guard emergency underwater escape rebreather evaluation." ...
Partial Evaluation - Futamura Projections
... is source code designed to run inside said interpreter, then partial evaluation of the interpreter with respect to this data/program produces prog*, a version of the interpreter that only runs that source code ...
Run-time Algorithm Specialisation - Difference From Partial Evaluation
... The key difference between run-time specialization and partial evaluation is that the values of on which is specialised are not known statically, so the specialization takes place at run-time ... Partial evaluation is applied to algorithms explicitly represented as codes in some programming language ... methods for specializing algorithms, which is usually the case with partial evaluation ...
Constraint Learning - Constraint Maintenance
... of constraint corresponding to a given inconsistent partial evaluation, but also on the choice of which constraint they maintain and which ones they discard ... may exhaust the available memory and increase the cost of checking consistency of partial evaluations ... stores constraints if the inconsistent partial evaluation they represent is smaller than a given constrant number ...

Famous quotes containing the words evaluation and/or partial:

    Evaluation is creation: hear it, you creators! Evaluating is itself the most valuable treasure of all that we value. It is only through evaluation that value exists: and without evaluation the nut of existence would be hollow. Hear it, you creators!
    Friedrich Nietzsche (1844–1900)

    You must not be partial in judging: hear out the small and the great alike; you shall not be intimidated by anyone, for the judgment is God’s.
    Bible: Hebrew, Deuteronomy 1:17.