Analysis and Visualization Tools for Constraint Programming: Constraint Debugging

ISBN-13: 9783540411376 / Angielski / Miękka / 2000 / 370 str.

Pierre Deransart;M.V. Hermenegildo;J. Maluszynski

Opis

This work covers the topic of constraint debugging and presents new approaches to debugging for the computational paradigm of constraint programming. The book is based on the European research project DiSCiPl. It consists of an introduction and three parts, each of them composed of several chapters. The introduction presents the DiSCiPl debugging methodology and explains how the technical chapters are related. The three parts on correctness debugging, performance debugging, and user cases offer a total of 13 chapters.

Spis treści

Debugging of Constraint Programs: The DiSCiPl Methodology and Tools.- Debugging of Constraint Programs: The DiSCiPl Methodology and Tools.- I. Correctness Debugging.- An Assertion Language for Constraint Logic Programs.- A Generic Preprocessor for Program Validation and Debugging.- Assertions with Constraints for CLP Debugging.- Locating Type Errors in Untyped CLP Programs.- Declarative Diagnosis in the CLP Scheme.- II. Performance Debugging.- Visual Tools to Debug Prolog IV Programs.- Search-Tree Visualisation.- Towards a Language for CLP Choice-Tree Visualisation.- Tools for Search-Tree Visualisation: The APT Tool.- Tools for Constraint Visualisation: The VIFID/TRIFID Tool.- Debugging Constraint Programs by Store Inspection.- Complex Constraint Abstraction: Global Constraint Visualisation.- III. Test Cases.- Using Constraint Visualisation Tools.