Using parametric set constraints for locating errors in CLP programs

Details Using parametric set constraints for locating errors in CLP programs Using parametric set constraints for locating errors in CLP programs

2002-02-11

arxiv.org/abs/cs/0202010v1

Theory and Practice of Logic Programming, Vol 2(4&5), 2002, pp 549-611.

Computer Science

Programming Languages

64 pages, To appear in Theory and Practice of Logic Programming

Scientific paper

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 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.

Affiliated with

Also associated with

No associations

Rating

Using parametric set constraints for locating errors in CLP programs does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Using parametric set constraints for locating errors in CLP programs, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Using parametric set constraints for locating errors in CLP programs will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-593255