Yann Salmon
15
Documents
Presentation
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.
Publications
- 6
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 3
- 2
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
Analyse d’atteignabilité pour les programmes fonctionnels avec stratégie d’évaluation en profondeurThéorie et langage formel [cs.FL]. Université de Rennes 1, 2015. Français. ⟨NNT : 2015REN1S085⟩
Theses
tel-01250252v2
|
|
Analyse d'atteignabilité pour les programmes fonctionnels avec stratégie d'évaluation en profondeurPerformance et fiabilité [cs.PF]. Université Rennes 1, 2015. Français. ⟨NNT : 2015REN1S085⟩
Theses
tel-01293819v1
|
|
Balancing the risk of hydraulic failure and carbon starvation: a twig scale analysis in declining Scots pineXylem International Meeting, Sep 2015, Bordeaux, France. 86 p
Conference papers
hal-02742313v1
|
|
Reachability Analysis of Innermost RewritingRewriting Techniques and Applications 2015, 2015, Warshaw, Poland
Conference papers
hal-01194530v1
|
|
Proving Reachability Properties on Term Rewriting Systems with StrategiesWorkshop on Strategies in Rewriting, Proving and Programming, 2012, London, United Kingdom
Conference papers
hal-01111038v1
|
|
Reachability Analysis of Innermost Rewriting[Research Report] 2013
Reports
hal-00848260v5
|
|
Tree Automata Completion for Static Analysis of Functional Programs2013
Reports
hal-00780124v2
|