Partial evaluation is a ProgramOptimization technique in which a program is specialized to a part of the input that is known statically (at specialization time). Partial ...