TY  - JOUR
AU  - Caballero Roldán, Rafael
AU  - Martin-Martin, Enrique
AU  - Riesco Rodríguez, Adrián
AU  - Tamarit, Salvador
PY  - 2019
DO  - 10.1016/j.jlamp.2019.05.002
SN  - 2352-2208
UR  - https://hdl.handle.net/20.500.14352/91466
T2  - Journal of Logical and Algebraic Methods in Programming
AB  - One of the main advantages of declarative languages is their clearly established formal semantics, that allows programmers to reason about the properties of programs and to establish the correctness of tools. In particular, declarative debugging is a...
LA  - eng
PB  - Elsevier
TI  - A core Erlang semantics for declarative debugging
TY  - journal article
VL  - 108
ER  -