Tracing and Explaining Execution of CLP(FD) Programs

Details Tracing and Explaining Execution of CLP(FD) Programs Tracing and Explaining Execution of CLP(FD) Programs

2002-07-11

arxiv.org/abs/cs/0207047v2

Computer Science

Software Engineering

16 pages; Alexandre Tessier, editor; WLPE 2002, http://xxx.lanl.gov/abs/cs.SE/0207052

Scientific paper

Previous work in the area of tracing CLP(FD) programs mainly focuses on providing information about control of execution and domain modification. In this paper, we present a trace structure that provides information about additional important aspects. We incorporate explanations in the trace structure, i.e. reasons for why certain solver actions occur. Furthermore, we come up with a format for describing the execution of the filtering algorithms of global constraints. Some new ideas about the design of the trace are also presented. For example, we have modeled our trace as a nested block structure in order to achieve a hierarchical view. Also, new ways about how to represent and identify different entities such as constraints and domain variables are presented.

Affiliated with

Also associated with

No associations

Rating

Tracing and Explaining Execution of CLP(FD) Programs does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Tracing and Explaining Execution of CLP(FD) Programs, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Tracing and Explaining Execution of CLP(FD) Programs will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-185243