Rigorous design of tracers: an experiment for constraint logic programming

Mireille Ducasse, Ludovic Langevine, Pierre Deransart

In order to design and implement tracers, one must decide what exactly to trace and how to produce this trace. On the one hand, trace designs are too often guided by implementation…