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

Deposit thumbnail

Reachability Analysis of Innermost Rewriting

Thomas Genet , Yann Salmon

Rewriting Techniques and Applications 2015, 2015, Warshaw, Poland

Communication dans un congrès hal-01194530v1
Deposit thumbnail

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-01111038v1