Using parametric set constraints for locating errors in CLP programs (2002)
| Venue: | THEORY AND PRACTICE OF LOGIC PROGRAMMING |
| Citations: | 6 - 1 self |
BibTeX
@ARTICLE{Drabent02usingparametric,
author = {Wlodzimierz Drabent and Jan Małuszyński and Paweł Pietrzak},
title = {Using parametric set constraints for locating errors in CLP programs},
journal = {THEORY AND PRACTICE OF LOGIC PROGRAMMING},
year = {2002},
volume = {2},
number = {4},
pages = {549--610}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This paper introduces a framework of parametric descriptive types for constraint logic programming (CLP). It proposes a method for locating type errors in CLP programs and a prototype debugging tool for the CLP language CHIP. Errors are located by failures in the process of proving partial correctness of a CLP program wrt a parametric specification. The specification language is a parametric extension of the formalism of term grammars. Partial correctness of a program wrt such a specification is proved in the framework of parametric set constraints. The approach is based on well-known methods for proving correctness of logic programs, specialized for checking and inference of directional types. The paper shows how these methods can be extended to polymorphic directional types for CLP. The paper is a substantial extension of previous work on error location by the same authors. It shows how the previously proposed techniques for checking and inferring monomorphic directional types can be extended to parametric polymorphic types. It presents both theoretical foundations of this extension and an interactive debugging tool based on it.
Citations
No citations identified.
