Hostname: page-component-cd9895bd7-7cvxr Total loading time: 0 Render date: 2024-12-27T09:15:00.298Z Has data issue: false hasContentIssue false
  • English
  • Français

Using parametric set constraints for locating errors in CLP programs

Published online by Cambridge University Press:  26 July 2002

WŁODZIMIERZ DRABENT ,
JAN MAŁUSZYŃSKI  and
PAWEŁ PIETRZAK
WŁODZIMIERZ DRABENT
Affiliation:
Department of Computer and Information Science, Linköping University, S – 581 83 Linköping, Sweden (e-mail: wdr@ida.liu.sejmz@ida.liu.sepawpi@ida.liu.se)
JAN MAŁUSZYŃSKI
Affiliation:
Department of Computer and Information Science, Linköping University, S – 581 83 Linköping, Sweden (e-mail: wdr@ida.liu.sejmz@ida.liu.sepawpi@ida.liu.se)
PAWEŁ PIETRZAK
Affiliation:
Department of Computer and Information Science, Linköping University, S – 581 83 Linköping, Sweden (e-mail: wdr@ida.liu.sejmz@ida.liu.sepawpi@ida.liu.se)
Get access Rights & Permissions [Opens in a new window]

Abstract

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.

Keywords

constraint logic programmingparametric typesdescriptive typesprogram correctnessdebuggingset constraintsterm grammars
Type
Research Article
Information
Theory and Practice of Logic Programming , Volume 2 , Issue 4-5 , July 2002 , pp. 549 - 610
Copyright
© 2002 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)