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." ... "United States Coast Guard emergency underwater escape rebreather evaluation." ...
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 ... for specializing algorithms, which is usually the case with partial evaluation ...
Constraint Learning - Constraint Maintenance
... the choice of constraint corresponding to a given inconsistent partial evaluation, but also on the choice of which constraint they maintain and which ones they discard ... 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 of the interpreter that only runs ...

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)

    The one-eyed man will be King in the country of the blind only if he arrives there in full possession of his partial faculties—that is, providing he is perfectly aware of the precise nature of sight and does not confuse it with second sight ... nor with madness.
    Angela Carter (1940–1992)