partial evaluation (English, noun)
expansion: partial evaluation
Senses:
topics: computing
computing-theory
engineering
mathematics
natural-sciences
physical-sciences
sciences
glosses: 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.
Forms: