activity
20012005
most citedRigorous design of tracers: an experiment for constraint logic programming

1 citations · 1 across the 2 of their papers we have counts for

collaborators
Showing cs.PLShow all

1 paper · 1 filter

cs.PL2001

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

Ludovic Langevine, Pierre Deransart, Mireille Ducasse +1

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…