Juan José González-Abril.
Ongoing. Universitat Politècnica de València.
Adrián Palacios.
Formal Methods for Constraint-Based Testing and Reversible Debugging in Erlang Universitat Politècnica de València, 2020.
Salvador Tamarit.
Analysis Techniques for Concurrent Programming Languages. Universitat Politècnica
de València, 2013.
Gustavo Arroyo.
Evaluación parcial dirigida por narrowing. Técnicas de optimización
y aplicaciones. Universitat Politècnica
de València, 2012.
Josep Silva.
Debugging Techniques for Declarative Languages: Profiling, Program
Slicing, and Algorithmic Debugging. Universitat Politècnica
de València, 2007.
J. Guadalupe Ramos.
Una aproximación offline a la evaluación parcial
dirigida por narrowing. Universitat Poliècnica de València, 2007.
Elvira Albert.
Partial Evaluation of Multi-Paradigm Declarative Languages: Foundations,
Control, Algorithms and Efficiency. Universitat Politècnica
de València, 2001.
Ginés
Moreno. Reglas y Estrategias de Transformación para Programas
Lógico-Funcionales. Universitat Politècnica de València, 2000.