Pierre Deransart

Identifiers

• name variant Pierre Deransart 0.60 · backfill

Papers (6)

1. Observational semantics of the Prolog Resolution Box Model cs.PL · 2007 · author #1
2. On using Tracer Driver for External Dynamic Process Observation cs.PL · 2007 · author #1
3. Rigorous design of tracers: an experiment for constraint logic programming cs.SE · 2003 · author #3
4. Prototyping CLP(FD) Tracers: a Trace Model and an Experimental Validation Environment cs.PL · 2001 · author #2
5. Well-Typed Logic Programs Are not Wrong cs.LO · 2000 · author #1
6. Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping cs.LO · 2000 · author #3

Mentions

• 0711.4071 #1 · backfill · confidence 0.70 Pierre Deransart

Frequent Coauthors

• Jan-Georg Smaus 2 shared papers
• Ludovic Langevine 2 shared papers
• Mireille Ducasse 2 shared papers
• Erwan Jahier 1 shared papers
• Francois Fages 1 shared papers
• G\'erard Ferrand 1 shared papers
• Mireille Ducass\'e 1 shared papers