Éditeur Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid
Documentos disponibles de esta editorial (1)
Añadir el resultado a su cesta Hacer una sugerencia Refinar búsqueda
texto impreso
Riesco Rodríguez, Adrián ; Verdejo López, José Alberto ; Martí Oliet, Narciso ; Caballero, Rafael | Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid | 2010-07-29Declarative debugging is a semi-automatic technique that starts from an incorrect computation and locates a program fragment responsible for the error by building a tree representing this computation and guiding the user through it to find the e[...]
