Analysis and Visualization Tools for Constraint Programming
Editat de Pierre Deransart, M. V. Hermenegildo, J. Maluszynskien Limba Engleză Paperback – 27 sep 2000
Preț: 326.88 lei
Preț vechi: 408.60 lei
-20%
Puncte Express: 490
Preț estimativ în valută:
57.76€ • 66.95$ • 50.37£
57.76€ • 66.95$ • 50.37£
Carte tipărită la comandă
Livrare economică 15-29 mai
Specificații
ISBN-13: 9783540411376
ISBN-10: 3540411372
Pagini: 392
Ilustrații: XXII, 370 p.
Dimensiuni: 155 x 235 x 22 mm
Greutate: 0.59 kg
Ediția:2000
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540411372
Pagini: 392
Ilustrații: XXII, 370 p.
Dimensiuni: 155 x 235 x 22 mm
Greutate: 0.59 kg
Ediția:2000
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
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.
Caracteristici
Includes supplementary material: sn.pub/extras