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
... 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 ... Bounded learning only stores constraints if the inconsistent partial evaluation they represent is smaller than a given constrant number ...
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 ...
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-ti ... Partial evaluation is applied to algorithms explicitly represented as codes in some programming language ... any universal methods for specializing algorithms, which is usually the case with partial evaluation ...
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)

    And meanwhile we have gone on living,
    Living and partly living,
    Picking together the pieces,
    Gathering faggots at nightfall,
    Building a partial shelter,
    For sleeping and eating and drinking and laughter.
    —T.S. (Thomas Stearns)