BibTeX
CSL-JSON
MLA
Harvard
Reversible Debugging in Logic Programming
release_y2pmzoomtbh7bgiwnlgjq5ljra
by
Germán Vidal
Released
as a article
.
2020
Abstract
Reversible debugging is becoming increasingly popular for locating the source
of errors. This technique proposes a more natural approach to debugging, where
one can explore a computation from the observable misbehaviour backwards to the
source of the error. In this work, we propose a reversible debugging scheme for
logic programs. For this purpose, we define an appropriate instrumented
semantics (a so-called Landauer embedding) that makes SLD resolution
reversible. An implementation of a reversible debugger for Prolog, rever, has
been developed and is publicly available.
In text/plain
format
Archived Files and Locations
application/pdf 218.2 kB
file_v7mywsucnzbmhkhmeuqraasxl4
|
arxiv.org (repository) web.archive.org (webarchive) |
Read Archived PDF
Preserved and Accessible
arXiv
2007.16171v1
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
access all versions, variants, and formats of this works (eg, pre-prints)
Cite This
Lookup Links