Debugging techniques for declarative languages: profiling, program slicing and algorithmic debugging
Tesis doctoral de Josep Francesc Silva Galiana La depuración de programas puede ser una tarea ardua. Esto se debe fundamentalmente […]
Tesis doctoral de michael Hanus
Información academica michael Hanus. Tesis donde michael Hanus ha sido autor, director o parte del tribunal.
Preescritura con restricciones de reemplazamiento
Tesis doctoral de Salvador Lucas Alba La reescritura de términos constituye un mecanismo operacional útil para implementar un buen número
Semántica y análisis de programas lógico funcionales
Tesis doctoral de Julio Mariño Carballo Los lenguajes de programación lógico-funcionales son un intento de integrar las dos ramas principales
Partial evaluatión of multi-paradigm declarative languaces: foundations, control, algorithms and efficiency
Tesis doctoral de Elvira Albert Albiol La evaluación parcial es una técnica automática que consigue optimizar programas garantizando que su