partial evaluation

Computing, Computing theory, Engineering, Mathematics, Natural sciences, Physical sciences, Sciences 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.