Analysis and Visualization Tools for Constraint Programming Constraint Debugging /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Deransart, Pierre (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Hermenegildo, M.V (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Maluszynski, J. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000.
• Έκδοση: 1st ed. 2000.
• Σειρά: Lecture Notes in Computer Science, 1870
• Θέματα: 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.

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

Πίνακας περιεχομένων:

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