New Added

Analysis and visualization tools for constraint programming : constraint debugging

Like Score+2771

Analysis and visualization tools for constraint programming : constraint debugging
Original Title Analysis and visualization tools for constraint programming : constraint debugging
Author Deransart, Pierre, Hermenegildo, Manuel, Małuszyński, J. (Jan), 1941-
Publication date

Topics Constraint programming (Computer science)
Publisher Berlin , New York : Springer
Collection folkscanomy_miscellaneous, folkscanomy, additional_collections
Language English
Book Type EBook
Material Type Book
File Type PDF
Downloadable Yes
Support Mobile, Desktop, Tablet
Scan Quality: Best No watermark
PDF Quality: Good
Availability Yes
Price 0.00
Submitted By
Sketch the Cow
Submit Date
Analysis and Visualization Tools for Constraint Programming: Constraint DebuggingAuthor: Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszynski Published by Springer Berlin Heidelberg ISBN: 978-3-540-41137-6 DOI: 10.1007/10722311Table of Contents:Debugging of Constraint Programs: The DiSCiPl Methodology and Tools
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
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
Using Constraint Visualisation ToolsIncludes bibliographical references and index
We will be happy to hear your thoughts

Leave a reply

eBookmela
Logo
Register New Account
Reset Password
Compare items
  • Total (0)
Compare
0