No photo of Christophe Leclère

Christophe Leclère

If you made any changes in Pure these will be visible here soon.

Thesis

Automated verification of Prolog programs: an implementation

Author: Gobert, F., 2003

Supervisor: Le Charlier, B. (Supervisor) & Leclère, C. (Co-Supervisor)

Student thesis: Master typesMaster in Computer science

On the design of some operations to combine domains for abstract interpretation

Author: Leclère, C., 2004

Supervisor: Le Charlier, B. (Supervisor), Vanhoof, W. (Jury), COUSOT, R. (External person) (Jury), CORTESI, A. (External person) (Jury), Hainaut, J. (Jury) & Schobbens, P. (Jury)

Student thesis: Doc typesDoctor of Sciences