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, partial evaluations, 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 ... 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 ...
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 ... Partial evaluation is applied to algorithms explicitly represented as codes in some programming language ... algorithms, which is usually the case with partial evaluation ...
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 ...
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." ... "United States Coast Guard emergency underwater escape rebreather evaluation." ...

Famous quotes containing the words evaluation and/or partial:

    Good critical writing is measured by the perception and evaluation of the subject; bad critical writing by the necessity of maintaining the professional standing of the critic.
    Raymond Chandler (1888–1959)

    We were soon in the smooth water of the Quakish Lake,... and we had our first, but a partial view of Ktaadn, its summit veiled in clouds, like a dark isthmus in that quarter, connecting the heavens with the earth.
    Henry David Thoreau (1817–1862)