Analysis and Visualization Tools for Constraint Programming: Constraint DebuggingAuthor: Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszynski Published by Springer Berlin Heidelberg ISBN: 978-3-540-41137-6 DOI: 10.1007/10722311Table of Contents:Debugging of Constraint Programs: The DiSCiPl Methodology and Tools 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 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 Using Constraint Visualisation Tools, Includes bibliographical references and index