Christophe Leclère

According to our database, Christophe Leclère authored at least 5 papers between 1997 and 2004.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2004

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

Christophe Leclère

PhD thesis, 2004

1999

Automated Verification of Prolog Programs.

Baudouin Le Charlier, Christophe Leclère, Sabina Rossi, Agostino Cortesi

J. Log. Program., 1999

1998

A Step Towards a Methodology for Mercury Program Construction: A Declarative Semantics for Mercury.

Dante Baldan, Baudouin Le Charlier, Christophe Leclère, Isabelle Pollet

Proceedings of the Logic Programming Synthesis and Transformation, 1998

1997

Automated Verification of Behavioural Properties of Prolog Programs.

Baudouin Le Charlier, Christophe Leclère, Sabina Rossi, Agostino Cortesi

Proceedings of the Advances in Computing Science, 1997

Automated Behavioural Verification of Prolog Programs.

Baudouin Le Charlier, Christophe Leclère, Sabina Rossi, Agostino Cortesi

Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997