Share on TelegramAnalysis and visualization tools for constraint programming : constraint debugging
User Rating: Be the first one!
Author: Deransart, Pierre, Hermenegildo, Manuel, Małuszyński, J. (Jan), 1941-
Added by: sketch
Added Date: 2015-12-30
Language: eng
Subjects: Constraint programming (Computer science)
Publishers: Berlin ; New York : Springer
Collections: folkscanomy miscellaneous, folkscanomy, additional collections
ISBN Number: 3540411372
Pages Count: 300
PPI Count: 300
PDF Count: 1
Total Size: 175.25 MB
PDF Size: 3.33 MB
Extensions: djvu, gif, pdf, gz, zip, torrent, log, mrc
Downloads: 325
Views: 375
Total Files: 18
Media Type: texts
Total Files: 5
TORRENT
springer 10 1007 10722311 archive torren...torrent
Last Modified: 2022-03-09 08:38:18
Download
Size: 10.85 KB
Description
Analysis and Visualization Tools for Constraint Programming: Constraint Debugging
Author: Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszynski
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-41137-6
DOI: 10.1007/10722311
Table of Contents:
Includes bibliographical references and index
Author: Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszynski
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-41137-6
DOI: 10.1007/10722311
Table 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 Tools
Includes bibliographical references and index
You May Also Like
![ARIS – Business Process Frameworks [electronic resource]](https://archive.org/services/img/springer_10.1007-978-3-642-97738-1 "ARIS – Business Process Frameworks [electronic resource]")
We will be happy to hear your thoughts
