Articoli correlati a Analysis and Visualization Tools for Constraint Programming:...
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
(nessuna copia disponibile)
Cerca: Inserisci un desiderataNon riesci a trovare il libro che stai cercando? Continueremo a cercarlo per te. Se uno dei nostri librai lo aggiunge ad AbeBooks, ti invieremo una notifica!
Inserisci un desiderata
