Zobrazeno 1 - 10
of 24
pro vyhledávání: '"Ducasse, Mireille"'
Autor:
Langevine, Ludovic, Ducasse, Mireille
Tracers provide users with useful information about program executions. In this article, we propose a ``tracer driver''. From a single tracer, it provides a powerful front-end enabling multiple dynamic analysis tools to be easily implemented, while l
Externí odkaz:
http://arxiv.org/abs/0804.4116
This paper specifies an observational semantics and gives an original presentation of the Byrd box model. The approach accounts for the semantics of Prolog tracers independently of a particular Prolog implementation. Prolog traces are, in general, co
Externí odkaz:
http://arxiv.org/abs/0711.4071
This report specifies an observational semantics and gives an original presentation of the Byrd's box model. The approach accounts for the semantics of Prolog tracers independently of a particular implementation. Traces are, in general, considered as
Externí odkaz:
http://arxiv.org/abs/0706.3159
A program invariant is a property that holds for every execution of the program. Recent work suggest to infer likely-only invariants, via dynamic analysis. A likely invariant is a property that holds for some executions but is not guaranteed to hold
Externí odkaz:
http://arxiv.org/abs/cs/0508108
Autor:
Langevine, Ludovic, Ducasse, Mireille
Programs with constraints are hard to debug. In this paper, we describe a general architecture to help develop new debugging tools for constraint programming. The possible tools are fed by a single general-purpose tracer. A tracer-driver is used to a
Externí odkaz:
http://arxiv.org/abs/cs/0508105
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 concerns and are not as useful as they should be. On the other hand,
Externí odkaz:
http://arxiv.org/abs/cs/0310042
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 to another is very difficult. We have shown in previous work that, fro
Externí odkaz:
http://arxiv.org/abs/cs/0111043
Publikováno v:
In Information Fusion 2009 10(4):285-299
Autor:
Ducassé, Mireille, Jahier, Erwan
Publikováno v:
In Electronic Notes in Theoretical Computer Science October 2001 55(2):118-133
Publikováno v:
In Electronic Notes in Theoretical Computer Science April 2000 30(4):308-315