BibTeX
CSL-JSON
MLA
Harvard
Reversible Debugging in Logic Programming
release_hkmvyqg3fjcmzhmelsmw7fqugu
by
Germán Vidal
Released
as a article
.
2022
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 221.0 kB
file_cf2vvmgpunexhl7vpnx2e7d3ke
|
arxiv.org (repository) web.archive.org (webarchive) |
Read Archived PDF
Preserved and Accessible
arXiv
2007.16171v2
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