Features
- Cover Type: Paperback with 367 pages
- Published by: Springer
- Edition: 1st Edition November 10, 2000
- Written in: English
- ISBN 10 Number: 3540411372
- ISBN 13 Number: 978-3540411376
-
Book Dimensions:
9.3 x 6 x 0.5 inches
- Weighs: 1.2 pounds
Product Description
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.