Yann Salmon

Professeur d'informatique au lycée Chateaubriand de Rennes.
7
Documents

Présentation

Professeur agrégé (mathématiques option informatique), nommé pour l'enseignement de l'informatique en CPGE.

Mes travaux de recherche s'inscrivent dans le cadre général de la vérification formelle de programmes par analyse statique. Un des objectifs de l'équipe Celtique de l'IRISA/INRIA Rennes est de développer des méthodes et des outils de vérification.

J'utilise comme modèles formels des programmes les systèmes de réécriture de termes et les automates d'arbres. Ma thèse porte principalement sur l'adaptation de la complétion d'automate d'arbre à la stratégie d'évaluation en profondeur en vue de l'analyse de programmes fonctionnels, notamment ceux rédigés en OCaml.

Publications

3
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
5
1
1
1

Publications

Image document

Reachability Analysis of Innermost Rewriting

Thomas Genet , Yann Salmon
Rewriting Techniques and Applications 2015, 2015, Warshaw, Poland
Communication dans un congrès hal-01194530 v1
Image document

Proving Reachability Properties on Term Rewriting Systems with Strategies

Thomas Genet , Yann Salmon
Workshop on Strategies in Rewriting, Proving and Programming, 2012, London, United Kingdom
Communication dans un congrès hal-01111038 v1