Accéder directement au contenu

olivier pons

6
Documents
Identifiants chercheurs

Présentation

Publications

pierre-courtieu

Automated Certified Proofs with CiME3

Evelyne Contejean , Pierre Courtieu , Julien Forest , Olivier Pons , Xavier Urbain
RTA - 22nd International Conference on Rewriting Techniques and Applications, 2011, Novi Sad, Serbia
Communication dans un congrès hal-00777669v1
Image document

A3PAT, an Approach for Certified Automated Termination Proofs

Evelyne Contejean , Pierre Courtieu , Julien Forest , Andrei Paskevich , Olivier Pons
2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, ACM, Jan 2010, Madrid, Spain. pp.63-72, ⟨10.1145/1706356.1706370⟩
Communication dans un congrès inria-00535655v1

Improved Matrix Interpretation

Pierre Courtieu , Gladys Gbedo , Olivier Pons
SOFSEM'10, Int. Conf. on Current Trends in Theory and Practice of Computer Science,, Jan 2010, Spindleruv Ml{\'y}n, Czech Republic. pp.12
Communication dans un congrès hal-01125706v1

Matrix interpretations revisited

Pierre Courtieu , Gladys Gbedo , Olivier Pons
Extended Abstracts of the 10th International Workshop on Termination, WST'09, Leipzig, Germany, Ju, Jan 2009, X, France. pp.4
Communication dans un congrès hal-01125629v1

Certification of automated termination proofs

Evelyne Contejean , Pierre Courtieu , Julien Forest , Olivier Pons , Xavier Urbain
6th Int. Symp. on Frontiers of Combining Systems, Liverpool, Royaume-Uni, Jan 2007, X, France. pp.148-162
Communication dans un congrès hal-01125312v1