A Tracer Driver for Versatile Dynamic Analyses of Constraint Logic Programs

Computer Science – Software Engineering

Scientific paper

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

In A. Serebrenik and S. Munoz-Hernandez (editors), Proceedings of the 15th Workshop on Logic-based methods in Programming Envi

Scientific paper

Programs with constraints are hard to debug. In this paper, we describe a general architecture to help develop new debugging tools for constraint programming. The possible tools are fed by a single general-purpose tracer. A tracer-driver is used to adapt the actual content of the trace, according to the needs of the tool. This enables the tools and the tracer to communicate in a client-server scheme. Each tool describes its needs of execution data thanks to event patterns. The tracer driver scrutinizes the execution according to these event patterns and sends only the data that are relevant to the connected tools. Experimental measures show that this approach leads to good performance in the context of constraint logic programming, where a large variety of tools exists and the trace is potentially huge.

No associations

LandOfFree

Say what you really think

Search LandOfFree.com for scientists and scientific papers. Rate them and share your experience with other people.

Rating

A Tracer Driver for Versatile Dynamic Analyses of Constraint Logic 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 A Tracer Driver for Versatile Dynamic Analyses of Constraint Logic Programs, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Tracer Driver for Versatile Dynamic Analyses of Constraint Logic Programs will most certainly appreciate the feedback.

Rate now

     

Profile ID: LFWR-SCP-O-268858

  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.