Title: Debugging for model expansion
Authors: Wittocx, Johan ×
Vlaeminck, Hanne
Denecker, Marc #
Issue Date: Jul-2009
Publisher: Springer
Series Title: Lecture Notes in Computer Science vol:5649 pages:296-311
Conference: International Conference on Logic Programming, ICLP edition:25 location:Pasadena, California, US date:14-17 July 2009
Abstract: Due to the development of efficient solvers, declarative problem solving frameworks based on model generation are becoming more and more applicable in practice. However, there are almost no tools to support debugging in these frameworks. For several reasons, current solvers are not suitable for debugging by tracing. In this paper, we propose a new solver algorithm for one of these frameworks, namely Model Expansion, that allows for debugging by tracing. We explain how to explore the trace of this solver in order to quickly locate a bug and we compare our debugging method with existing ones for Answer Set Programming and the Alloy system.
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
debug.pdfMain article Published 212KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science