Debugging Constraint Programs: The Abstraction Mismatch
Markus P.J. Fromherz
Abstract
In an earlier paper, we developed an approach to the declarative
debugging of concurrent constraint (cc) programs. In this paper, we
describe a concrete cc language, and investigate the use of our
framework in this context. We believe that declarative debugging is
successful in reducing some of the complexity that arises from the
concurrency and distribution of constraint operations. However, our
experiments also show that there typically is a mismatch of
abstraction between the debugger's questions and a user's program
conception.
Postscript file
Back to the top.