La evaluación parcial (EP) de programas es una técnica formal para la especialización y optimización de programas. Un evaluador parcial toma un programa y sólo una parte de sus datos de entrada (los llamados datos estáticos) ...