partial evaluation
English
Noun
partial
evaluation
(
computing
theory
)
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.
Hyponyms
autoprojection