Nombre de documents

6

Yann Salmon


Professeur agrégé (mathématiques option informatique), nommé pour l'enseignement de l'informatique en CPGE au lycée Descartes de Tours.
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.


Thèse1 document

  • Yann Salmon. Analyse d’atteignabilité pour les programmes fonctionnels avec stratégie d’évaluation en profondeur. Théorie et langage formel [cs.FL]. Université de Rennes 1, 2015. Français. 〈NNT : 2015REN1S085〉. 〈tel-01250252v2〉

Article dans une revue1 document

  • Thomas Genet, Yann Salmon. Reachability Analysis of Innermost Rewriting - extended version. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2017, 〈10.2168/LMCS-???〉. 〈hal-01532090〉

Communication dans un congrès2 documents

  • Thomas Genet, Yann Salmon. Reachability Analysis of Innermost Rewriting. RTA, 2015, Warshaw, Poland. pp.1-17, 2015, 〈10.4230/LIPIcs.RTA.2015.x〉. 〈hal-01194530〉
  • Thomas Genet, Yann Salmon. Proving Reachability Properties on Term Rewriting Systems with Strategies. Workshop on Strategies in Rewriting, Proving and Programming, 2012, London, United Kingdom. 2012. 〈hal-01111038〉

Rapport2 documents

  • Thomas Genet, Yann Salmon. Reachability Analysis of Innermost Rewriting. [Research Report] 2013. 〈hal-00848260v5〉
  • Thomas Genet, Yann Salmon. Tree Automata Completion for Static Analysis of Functional Programs. 2013. 〈hal-00780124v2〉