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 -