Analysis and Visualization Tools for Constraint Programming Constraint Debugging /

Analysis and Visualization Tools for Constraint Programming Constraint Debugging /

Coordinating production across a supply chain, designing a new VLSI chip, allocating classrooms or scheduling maintenance crews at an airport are just a few examples of complex (combinatorial) problems that can be modeled as a set of decision variables whose values are subject to a set of constraint...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Deransart, Pierre (Editor, http://id.loc.gov/vocabulary/relators/edt), Hermenegildo, M.V (Editor, http://id.loc.gov/vocabulary/relators/edt), Maluszynski, J. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format: Electronic eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000.
Edition:1st ed. 2000.
Series:Lecture Notes in Computer Science, 1870
Subjects:
Programming languages (Electronic computers).
Computer programming.
Software engineering.
Artificial intelligence.
Mathematical logic.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Software Engineering.
Artificial Intelligence.
Mathematical Logic and Formal Languages.
Online Access:Full Text via HEAL-Link
Table of Contents:
  • 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.

Similar Items