
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
|
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⟩
Thèse
tel-01250252
v2
|
|
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⟩
Thèse
tel-01293819
v1
|
|
Reachability Analysis of Innermost Rewriting - extended versionLogical Methods in Computer Science, 2017, ⟨10.2168/LMCS-???⟩
Article dans une revue
hal-01532090
v1
|
|
Reachability Analysis of Innermost RewritingRewriting Techniques and Applications 2015, 2015, Warshaw, Poland
Communication dans un congrès
hal-01194530
v1
|
|
Proving Reachability Properties on Term Rewriting Systems with StrategiesWorkshop on Strategies in Rewriting, Proving and Programming, 2012, London, United Kingdom
Communication dans un congrès
hal-01111038
v1
|
|
Reachability Analysis of Innermost Rewriting[Research Report] 2013
Rapport
(rapport de recherche)
hal-00848260
v5
|
|
Tree Automata Completion for Static Analysis of Functional Programs2013
Rapport
hal-00780124
v2
|
Chargement...
Chargement...