partial evaluation
Jump to navigation
Jump to search
English
[edit]
Noun
[edit]- (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.