Accéder directement au contenu

Claude Kirchner

2
Documents
Identifiants chercheurs

Présentation

Publications

755816
Image document

Modular Formal Islands: Embed theory in your practice

 Emilie Balland , Claude Kirchner , Pierre-Etienne Moreau , Anderson Santana de Oliveira
Third Taiwanese-French Conference on Information Technology - TFIT 2006, INRIA/LORIA, Mar 2006, Nancy/France
Communication dans un congrès inria-00001186v1
Image document

Formal Validation of Pattern Matching Code

 Claude Kirchner , Pierre-Etienne Moreau , Antoine Reilles
Proceedings of the 7th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming - PPDP'2005, Jul 2005, Lisbon/Portugal, pp.187--197
Communication dans un congrès inria-00000701v1