1 citations · 1 across the 1 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
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
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…