Locating type errors in untyped CLP programs
2000 (English)In: Analysis and Visualization Tools for Constraint Programming: Constraint Debugging / [ed] Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszynski, Springer Berlin/Heidelberg, 2000, Vol. 1870, 121-150 p.Chapter in book (Refereed)
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
Place, publisher, year, edition, pages
Springer Berlin/Heidelberg, 2000. Vol. 1870, 121-150 p.
Lecture Notes in Computer Science, ISSN 0302-9743 (print), 1611-3349 (online) ; 1870
Engineering and Technology
IdentifiersURN: urn:nbn:se:liu:diva-48164DOI: 10.1007/10722311_5ISBN: 978-3-540-41137-6ISBN: 978-3-540-40016-5ISBN: 3-540-41137-2OAI: oai:DiVA.org:liu-48164DiVA: diva2:269060