partial evaluation

Short definition from Wiktionary

Noun

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.

We haven’t written up partial evaluation yet: Simple and Standard meanings, examples and a quiz.