Prototyping CLP(FD) Tracers: a Trace Model and an Experimental Validation Environment

Details Prototyping CLP(FD) Tracers: a Trace Model and an Experimental Validation Environment Prototyping CLP(FD) Tracers: a Trace Model and an Experimental Validation Environment

2001-11-16

arxiv.org/abs/cs/0111043v1

Computer Science

Programming Languages

In A. Kusalik (ed), Proceedings of the Eleventh International Workshop on Logic Programming Environments (WLPE'01), December 1

Scientific paper

Developing and maintaining CLP programs requires visualization and explanation tools. However, existing tools are built in an ad hoc way. Therefore porting tools from one platform to another is very difficult. We have shown in previous work that, from a fine-grained execution trace, a number of interesting views about logic program executions could be generated by trace analysis. In this article, we propose a trace model for constraint solving by narrowing. This trace model is the first one proposed for CLP(FD) and does not pretend to be the ultimate one. We also propose an instrumented meta-interpreter in order to experiment with the model. Furthermore, we show that the proposed trace model contains the necessary information to build known and useful execution views. This work sets the basis for generic execution analysis of CLP(FD) programs.

Affiliated with

Also associated with

No associations

Rating

Prototyping CLP(FD) Tracers: a Trace Model and an Experimental Validation Environment 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 Prototyping CLP(FD) Tracers: a Trace Model and an Experimental Validation Environment, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Prototyping CLP(FD) Tracers: a Trace Model and an Experimental Validation Environment will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-195170