Christophe Leclère

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2004
On the design of some operations to combine domains for abstract interpretation
PhD thesis, 2004

1999
Automated Verification of Prolog Programs.
J. Log. Program., 1999

1998
A Step Towards a Methodology for Mercury Program Construction: A Declarative Semantics for Mercury.
Proceedings of the Logic Programming Synthesis and Transformation, 1998

1997
Automated Verification of Behavioural Properties of Prolog Programs.
Proceedings of the Advances in Computing Science, 1997

Automated Behavioural Verification of Prolog Programs.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997


  Loading...