5 citations · 7 across the 4 of their papers we have counts for
Showing 2003Show all
2 papers · 1 filter
cs.PL2003★ 1 cited
Generic and Efficient Program Monitoring by trace analysis
Erwan Jahier, Mireille Ducass'e
Program execution monitoring consists of checking whole executions for given properties in order to collect global run-time information. Monitoring is very useful to maintain progr…
cs.SE2003★ 1 cited
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…