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 "partial evaluation, evaluation, partial evaluations":

Partial Evaluation - Futamura Projections
... If Istatic 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 ...
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." ...
Constraint Learning - Constraint Maintenance
... differ not only on the choice of constraint corresponding to a given inconsistent partial evaluation, but also on the choice of which constraint they maintain and ... and increase the cost of checking consistency of partial evaluations ... Bounded learning only stores constraints if the inconsistent partial evaluation they represent is smaller than a given constrant number ...
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 ... Partial evaluation is applied to algorithms explicitly represented as codes in some programming language ... use any universal methods for specializing algorithms, which is usually the case with partial evaluation ...

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)

    The only coöperation which is commonly possible is exceedingly partial and superficial; and what little true coöperation there is, is as if it were not, being a harmony inaudible to men. If a man has faith, he will coöperate with equal faith everywhere; if he has not faith, he will continue to live like the rest of the world, whatever company he is joined to.
    Henry David Thoreau (1817–1862)