This book is the first one entirely devoted to the topic of constraint debugging; it presents new approaches to debugging for the computational paradigm of constraint programming. The book is based on the European research project DiSCiPl. It consists of an introduction and three parts, each of them composed of several chapters. The introduction presents the DiSCiPl debugging methodology and explains how the technical chapters are related. The three parts on correctness debugging, performance debugging, and user cases offer a total of 13 consistenly written chapters.
Analysis and Visualization Tools for Constraint Programming
and over one million other books are available for Amazon Kindle.
Learn more
| |||||||||||||||
Book Description
Product Details
Would you like to update product info or give feedback on images?
|
Customer Reviews
|
There are no customer reviews yet.
|
|||
|
Video reviews
|
Inside This Book
(learn more)
Key Phrases - Statistically Improbable Phrases (SIPs):
(learn more)
constrained predication, chosen predication, declarative diagnoser, defining property predicates, static inference system, constraint visualisation, success qsort, generic preprocessor, diffn constraint, visual constraint programming tool, predicate qsort, visualiser tools, propagation queue, computed answer constraints, declarative diagnosis, predicate descriptor, incorrect clause, assertion schema, symptom node, entry assertions, interval solver, static debugging, debugging methodology, abstract symptoms, compound assertions Key Phrases - Capitalized Phrases (CAPs): (learn more)
Computer Science, International Conference, Technical University of Madrid, Execution Tree Viewer, Springer-Verlag Berlin Heidelberg, Int'l Workshop, Joint Conference, Lecture Notes, Boadilla del Monte, Electronic Notes, Principles of Programming Languages, Using Constraint Visualisation Tools, Fifth Generation Computer Systems, Garcia de la Banda, Delayed Goals, International Symposium, Jean Rostand, Marseille Cedex, North Holland, Orsay Cedex, Professional Computing Series, Programmation Logique, Some Design Issues, Using Global Analysis, Visualization of Constraint Program Execution New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
constrained predication, chosen predication, declarative diagnoser, defining property predicates, static inference system, constraint visualisation, success qsort, generic preprocessor, diffn constraint, visual constraint programming tool, predicate qsort, visualiser tools, propagation queue, computed answer constraints, declarative diagnosis, predicate descriptor, incorrect clause, assertion schema, symptom node, entry assertions, interval solver, static debugging, debugging methodology, abstract symptoms, compound assertions Key Phrases - Capitalized Phrases (CAPs): (learn more)
Computer Science, International Conference, Technical University of Madrid, Execution Tree Viewer, Springer-Verlag Berlin Heidelberg, Int'l Workshop, Joint Conference, Lecture Notes, Boadilla del Monte, Electronic Notes, Principles of Programming Languages, Using Constraint Visualisation Tools, Fifth Generation Computer Systems, Garcia de la Banda, Delayed Goals, International Symposium, Jean Rostand, Marseille Cedex, North Holland, Orsay Cedex, Professional Computing Series, Programmation Logique, Some Design Issues, Using Global Analysis, Visualization of Constraint Program Execution New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
Citations (learn more)
This book cites 23
books:
See all 23 books this book cites
2
books
cite this book:
- Programming Languages: Implementations, Logics and Programs: 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Proceedings (Lecture Notes in Computer Science) by Manuel Hermenegildo on 6 pages
- Algorithmic Program Debugging (ACM Distinguished Dissertation) by Ehud Y. Shapiro on 4 pages
- Static Analysis: 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings (Lecture Notes in Computer Science) by Agostino Cortesi in Front Matter, page 60, and page 105
- Types in Logic Programming (Logic Programming) by Frank Pfenning on page 60, and page 105
- Foundations of Logic Programming (Symbolic Computation : Artificial Intelligence) by John Wylie Lloyd on page 150, and page 236
See all 23 books this book cites
- Functional and Logic Programming: 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings (Lecture Notes in Computer Science) by Yukiyoshi Kameyama on page 38
- Programming Constraint Services: High-Level Programming of Standard and New Constraint Services (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) by Christian Schulte in Back Matter
Books on Related Topics
(learn more)
|
Tag this product(What's this?)Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items. |
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
Listmania!
So You'd Like to...
Look for Similar Items by Category
- Books > Computers & Technology > Computer Science > Artificial Intelligence
- Books > Computers & Technology > Computer Science > Systems Analysis & Design
- Books > Computers & Technology > Programming > Languages & Tools > Compiler Design
- Books > Computers & Technology > Programming > Languages & Tools > Compilers
- Books > Computers & Technology > Programming > Software Design, Testing & Engineering > Object-Oriented Design
- Books > Computers & Technology > Programming > Software Design, Testing & Engineering > Software Development
- Books > Computers & Technology > Programming > Software Design, Testing & Engineering > Testing
- Books > Computers & Technology > Software
- Books > Medical Books
- Books > Science & Math > Mathematics
