El objetivo de la transformación de programas consiste en derivar un programa semánticamente equivalente a otro programa inicial pero con mejor comportamiento para algunas propiedades (e.g. eficiencia). La evaluación parcial (EP) es una técnica de transformación de programas que genera versiones especializadas de un programa con respecto a unas determinadas entradas. En nuestro grupo hemos realizado trabajos pioneros en este campo. Por ejemplo, hemos desarrollado un transformador de programas LF basado en reglas+estrategias y algoritmos refinandos de control de EP para este tipo de lenguajes. También se han definido técnicas de transformación para programas lógicos multiadjuntos y estudiado sus propiedades formales.