Change search
ReferencesLink to record
Permanent link

Direct link
Using parametric set constraints for locating errors in CLP programs
Linköping University.
Linköping University.
2002 (English)In: Theory and Practice of Logic Programming, ISSN 1471-0684, E-ISSN 1475-3081, Vol. 2, no 4-5, 549-611 p.Article in journal (Refereed) Published
Abstract [en]

This paper introduces a framework of parametric descriptive directional types for Constraint Logic Programming (CLP). It proposes a method for locating type errors in CLP programs, and presents a prototype debugging tool. The main technique used is checking correctness of programs w.r.t. type specifications. The approach is based on a generalization of known methods for proving the correctness of logic programs to the case of parametric specifications. Set constraint techniques are used for formulating and checking verification conditions for (parametric) polymorphic type specifications. The specifications are expressed in a parametric extension of the formalism of term grammars. The soundness of the method is proved, and the prototype debugging tool supporting the proposed approach is illustrated on examples. The paper is a substantial extension of the previous work by the same authors concerning monomorphic directional types.

Place, publisher, year, edition, pages
2002. Vol. 2, no 4-5, 549-611 p.
Research subject
Embedded System
URN: urn:nbn:se:ltu:diva-12199DOI: 10.1017/S1471068402001473Local ID: b4b3efe0-c054-11dd-875e-000ea68e967bOAI: diva2:985149
Upprättat; 2002; 20081202 (pawpie)Available from: 2016-09-29 Created: 2016-09-29

Open Access in DiVA

fulltext(636 kB)1 downloads
File information
File name FULLTEXT01.pdfFile size 636 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Other links

Publisher's full text

Search in DiVA

By author/editor
Pietrzak, Pawel
In the same journal
Theory and Practice of Logic Programming

Search outside of DiVA

GoogleGoogle Scholar
Total: 1 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 1 hits
ReferencesLink to record
Permanent link

Direct link