Germán VidalProf. of Computer Science (Catedrático de Universidad)Ph.D. in Computer Science (Doctor en Informática)Leader of the MiST
research group at DSIC,
Universitat Politècnica de València
Josep Silva.
Debugging Techniques for Declarative Languages: Profiling, Program
Slicing, and Algorithmic Debugging. Universidad Politécnica
de Valencia, 2007.
J. Guadalupe Ramos.
Una aproximación offline a la evaluación parcial
dirigida por narrowing. Universidad Politécnica
de Valencia, 2007.
Elvira Albert.
Partial Evaluation of Multi-Paradigm Declarative Languages: Foundations,
Control, Algorithms and Efficiency. Universidad Politécnica
de Valencia, 2001.
Ginés
Moreno. Reglas y Estrategias de Transformación para Programas
Lógico-Funcionales. Universidad Politécnica de
Valencia, 2000.