partial evaluation
partial evaluation · partial evaluations
A technique for program optimization by specialization, so as to produce new programs…A technique for program optimization by specialization, so as to produce new programs which run faster than the originals while guaranteed to behave in the same way.
Meaning
1 sensesA technique for program optimization by specialization, so as to produce new programs which run faster than the originals while guaranteed to behave in the same way.
Forms
plural: partial evaluations| Singular | partial evaluation |
|---|---|
| Plural | partial evaluations |
regular