Partial evaluation

Partial evaluation produces a specialized computer program from a general program and some part of its input data. The resulting residual program takes the remaining input data of the original program and runs with the same effect as the original program running on its full input.

See also:

• lazy evaluation