Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
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, p. 549-611Article 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, p. 549-611
National Category
Embedded Systems
Research subject
Embedded System
Identifiers
URN: urn:nbn:se:ltu:diva-12199DOI: 10.1017/S1471068402001473Local ID: b4b3efe0-c054-11dd-875e-000ea68e967bOAI: oai:DiVA.org:ltu-12199DiVA, id: diva2:985149
Note
Upprättat; 2002; 20081202 (pawpie)Available from: 2016-09-29 Created: 2016-09-29 Last updated: 2017-11-24Bibliographically approved

Open Access in DiVA

fulltext(636 kB)9 downloads
File information
File name FULLTEXT01.pdfFile size 636 kBChecksum SHA-512
4590e1a411d7fd55986127efaf6c5092966add610f0ebf2703317e3e1f48a695b1f97b4f0726199e5987075ce6efbf5423e18bb61bf3b3b7caf285bc45818679
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
Embedded Systems

Search outside of DiVA

GoogleGoogle Scholar
Total: 9 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

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 52 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf