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
Carte tipărită la comandă
Livrare economică 07-21 iulie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
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.