1 citations · 1 across the 1 of their papers we have counts for
Showing cs.PLShow 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.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…