2008 |
19 | EE | Ludovic Langevine,
Mireille Ducassé:
Design and Implementation of a Tracer Driver: Easy and Efficient Dynamic Analyses of Constraint Logic Programs
CoRR abs/0804.4116: (2008) |
18 | EE | Ludovic Langevine,
Mireille Ducassé:
Design and implementation of a tracer driver: Easy and efficient dynamic analyses of constraint logic programs.
TPLP 8(5-6): 581-609 (2008) |
2005 |
17 | EE | Ludovic Langevine,
Mireille Ducassé:
A tracer driver for hybrid execution analyses.
AADEBUG 2005: 143-148 |
16 | EE | Ludovic Langevine:
Gentra4cp: A Generic Trace Format for Constraint Programming.
ICLP 2005: 433-434 |
15 | EE | Ludovic Langevine,
Mireille Ducassé:
A Tracer Driver for Versatile Dynamic Analyses of Constraints Logic Programs.
WLPE 2005: 94-110 |
14 | EE | Ludovic Langevine,
Mireille Ducassé:
A Tracer Driver for Versatile Dynamic Analyses of Constraint Logic Programs
CoRR abs/cs/0508105: (2005) |
2004 |
13 | EE | Ludovic Langevine,
Mireille Ducassé:
A Tracer Driver to Enable Debugging, Monitoring and Visualization of CLP Executions from a Single Tracer.
ICLP 2004: 462-463 |
12 | | Ludovic Langevine,
Mireille Ducassé:
Un pilote de traceur pour la PLC.
JFPLC 2004 |
2003 |
11 | EE | Ludovic Langevine:
Observation of Constraint Programs.
CP 2003: 980 |
10 | EE | Ludovic Langevine,
Pierre Deransart,
Mireille Ducassé:
A Generic Trace Schema for the Portability of CP(FD) Debugging Tools.
CSCLP 2003: 171-195 |
9 | EE | Ludovic Langevine,
Mireille Ducassé,
Pierre Deransart:
A Propagation Tracer for GNU-Prolog: From Formal Definition to Efficient Implementation.
ICLP 2003: 269-283 |
8 | | Ludovic Langevine,
Pierre Deransart:
Un nouveau traceur générique pour GNU-Prolog.
JFPLC 2003: 97-110 |
7 | | Pierre Deransart,
Ludovic Langevine,
Mireille Ducassé:
Demonstration: Debugging constraint problems with portable tools.
WLPE 2003: 46-47 |
6 | EE | Mireille Ducassé,
Ludovic Langevine,
Pierre Deransart:
Rigorous design of tracers: an experiment for constraint logic programming
CoRR cs.SE/0310042: (2003) |
5 | EE | Pierre Deransart,
Ludovic Langevine:
Un nouveau traceur générique pour GNU-Prolog.
Technique et Science Informatiques 22(1): 97-110 (2003) |
2002 |
4 | EE | Mireille Ducassé,
Ludovic Langevine:
Automated Analysis of CLP(FD) Program Execution Traces.
ICLP 2002: 470-471 |
3 | | Mireille Ducassé,
Ludovic Langevine:
Analyse automatisée de traces d'exécution de programmes CLP(FD).
JFPLC 2002: 119- |
2 | | Ludovic Langevine,
Pierre Deransart,
Mireille Ducassé,
Erwan Jahier:
Prototypage de traceurs CLP(FD): un modèle de trace et son expérimentation.
JFPLC 2002: 135- |
2001 |
1 | EE | Ludovic Langevine,
Pierre Deransart,
Mireille Ducassé,
Erwan Jahier:
Prototyping CLP(FD) tracers: a trace model and an experimental validation environment.
WLPE 2001 |