BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Lecoutre:Christophe

Contributed to:

KR 20102010
ICLP 20082008
LOPSTR 19911991

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.