6 citations · 12 across the 3 of their papers we have counts for
3 papers
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★ 5 cited
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…
cs.SE2000★ 6 cited
Collecting Graphical Abstract Views of Mercury Program Executions
Erwan Jahier
A program execution monitor is a program that collects and abstracts information about program executions. The "collect" operator is a high level, general purpose primitive which l…