| E. Jahier and M. Ducasse. Generic program monitoring by trace analysis. Theory and Practice of Logic Programming, 2(4-5), 2002. |
....ow in logic programming languages, including backtracking and is able to deal with primitives like assert and retract. Our pro ler shares with this approach some ideas for collecting information about nondeterministic branching points. A more recent reference is the work by Jahier and Ducass e [20, 21], which proposes a program execution monitor to gather data about Mercury executions. For this purpose, they de ne a high level primitive built on top of the execution tracer for Mercury, which delivers information extracted from the current state at a particular point (e.g. execution depth, ....
E. Jahier and M. Ducasse. Generic Program Monitoring by Trace Analysis. Theory and Practice of Logic Programming, 2(4,5), 2002.
No context found.
E. Jahier and M. Ducasse. Generic program monitoring by trace analysis. Theory and Practice of Logic Programming, 2002.
No context found.
E. Jahier and M. Ducasse. Generic program monitoring by trace analysis. Theory and Practice of Logic Programming, 2(4-5), 2002.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC