An Assertion Language for Debugging of Constraint Logic Programs (1997)
| Venue: | In Proceedings of the ILPS'97 Workshop on Tools and Environments for (Constraint) Logic Programming |
| Citations: | 11 - 7 self |
BibTeX
@INPROCEEDINGS{Puebla97anassertion,
author = {Germán Puebla and Francisco Bueno and Manuel Hermenegildo},
title = {An Assertion Language for Debugging of Constraint Logic Programs},
booktitle = {In Proceedings of the ILPS'97 Workshop on Tools and Environments for (Constraint) Logic Programming},
year = {1997}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
this document is to serve as a basis for the design of an assertion language which suffices for the purpose of debugging in the context of constraint logic programming (CLP) [15] languages, while remaining tractable. There is a clear trade-off between the expressive power of the language of assertions and the difficulty of dealing with it. The assertion language proposed is parametric w.r.t. the constraint domain and the particular CLP platform being used and thus can be used for any of them. For example, an instance of the assertion language we propose has been implemented in the CIAO system [12, 2]. Details can be found in [11].
