Travelled to:1 × Canada
1 × Italy
Collaborated with:P.Devienne P.Lebègue J.Condotta R.Szymanek
Talks about:constraint (2) interpret (1) behaviour (1) abstract (1) program (1) network (1) consist (1) recurs (1) qualit (1) shave (1)
Person: Christophe Lecoutre
DBLP: Lecoutre:Christophe
Contributed to:
2010
2008
1991
1991Wrote 4 papers:
- KR-2010-CondottaL #constraints #network
- A Class of df-Consistencies for Qualitative Constraint Networks (JFC, CL).
- ICLP-2008-SzymanekL #constraints
- Constraint-Level Advice for Shaving (RS, CL), pp. 636–650.
- LOPSTR-1991-LecoutreDL #abstract interpretation #behaviour #logic programming #recursion #source code
- Abstract Interpretation and Recursive Behaviour of Logic Programs (CL, PD, PL), pp. 147–166.
- WSA-1991-LecoutreDL #french #prolog
- Une analyse du comportement récursif de programmes Prolog par une interprétation abstraite (CL, PD, PL), pp. 62–69.