EGAVE

partial evaluation

About 0.07 uses per million words.

Meaning

  1. 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.

Similar words

lazy evaluation supercompilation optimization peephole optimization autoprojection partial application pessimization micro-optimization superoptimization in-line expansion

Save “partial evaluation” to learn later