TY  - CONF
AU  - Caballero Roldán, Rafael
PY  - 2011
UR  - https://hdl.handle.net/20.500.14352/45910
AB  - Declarative debugging is a debugging technique that abstracts the execution details to focus on the semantic meaning of the program components. It was frst proposed in the feld of Logic Programming, but its general structure has been later extended to...
KW  - Lenguajes lógico funcionales
KW  - Programación declarativa
KW  - Depuración declarativa
KW  - Programación lógica
KW  - Semántica de los lenguajes de programación
KW  - Declarative debugging
KW  - Logic Programming
KW  - Functional logic programming
KW  - Declarative programming
KW  - Semantic of the programmming languages
TI  - Declarative debugging
TY  - conference output
ER  -