TY  - THES
AU  - Coeurjoly Lechuga, Roland
A3  - Riesco Rodríguez, Adrián
PY  - 2022
UR  - https://hdl.handle.net/20.500.14352/73933
AB  - A declarative debugger for C++ is presented, called DDC. A declarative debugger receives as input an incorrect computation, builds a debugging tree based on the execution of the program and, after asking questions to an oracle (typically the user),...
AB  - Presentamos un depurador declarativo para C++, llamado DDC. Un depurador declarativo recibe como argumento de entrada una computación incorrecta, construye un árbol de depuración basado en la ejecución del programa y, después de preguntar a un oráculo...
LA  - eng
KW  - Declarative debugging
KW  - C/C++
KW  - GDB
KW  - Formal verification
KW  - Coq
KW  - Depuración declarativa
KW  - Verificación formal
TI  - DDC: a declarative debugger for C++
T2  - DDC: un depurador declarativo para C++
M3  - master thesis
ER  -