|
 
|
Evelyne Contejean
Publications
2011
- [CCF11a] E. Contejean, P. Courtieu, J. Forest, O. Pons, X. Urbain. "Automated Certified Proofs with CiME 3", 22nd Int. Conf. on Rewriting Techniques and Applications, May 2011, Vol. 10, pp.21-30, Series LIPIcs, Novi Sad, Serbie,
-
[CCF11]
E. Contejean, P. Courtieu, J. Forest, O. Pons, X. Urbain.
"Automated Certified Proofs with CiME3",
Date de dépot: 2011/02/01,
Nb pages 11,
(Tech. Rep.: CEDRIC-11-2044)
Conférence Internationale avec comité de lecture
Rapport Scientifique
2010
- [CCF10] E. Contejean, P. Courtieu, J. Forest, A. Paskevich, O. Pons, X. Urbain. "A3PAT, an Approach for Certified Automated Termination Proofs", PEPM'10 Proceedings of the 2010 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, Madrid, Spain, January 2010, pp.10,
Conférence Internationale avec comité de lecture
2008
-
[CFU08a]
E. Contejean, J. Forest, X. Urbain.
"Deep-Embedded Unification",
Date de dépot: 2008/01/01,
(Tech. Rep.: CEDRIC-08-1547)
Rapport Scientifique
2007
- [CCF07a] E. Contejean, P. Courtieu, J. Forest, O. Pons, X. Urbain. "Certification of automated termination proofs", 6th Int. Symp. on Frontiers of Combining Systems, Liverpool, Royaume-Uni, January 2007, pp.148-162, Series LNAI 4720,
-
[CCF07]
E. Contejean, P. Courtieu, J. Forest, O. Pons, X. Urbain.
"Certification of automated termination proofs",
Date de dépot: 2007/01/01,
(Tech. Rep.: CEDRIC-07-1185)
Conférence Internationale avec comité de lecture
Rapport Scientifique
2005
- [CMP05] E. Contejean, C. Marché, A. Paula Tomas, X. Urbain. "Mechanically proving termination using polynomial interpretations", JAR, Journal of Automated Reasoning, vol. 34(4), pp. 325-363, 2005
