partial evaluation English

Meaning partial evaluation meaning

What does partial evaluation mean?

partial evaluation noun

— (comptheory) 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.