Mireille Ducasse

Identifiers

• name variant Mireille Ducasse 0.60 · backfill

Papers (5)

1. Design and Implementation of a Tracer Driver: Easy and Efficient Dynamic Analyses of Constraint Logic Programs cs.SE · 2008 · author #2
2. Proving or Disproving likely Invariants with Constraint Reasoning cs.SE · 2005 · author #3
3. A Tracer Driver for Versatile Dynamic Analyses of Constraint Logic Programs cs.SE · 2005 · author #2
4. Rigorous design of tracers: an experiment for constraint logic programming cs.SE · 2003 · author #1
5. Prototyping CLP(FD) Tracers: a Trace Model and an Experimental Validation Environment cs.PL · 2001 · author #3

Mentions

• 0804.4116 #2 · backfill · confidence 0.70 Mireille Ducasse

Frequent Coauthors

• Ludovic Langevine 4 shared papers
• Pierre Deransart 2 shared papers
• Arnaud Gotlieb 1 shared papers
• Erwan Jahier 1 shared papers
• Tristan Denmat 1 shared papers