Yann Salmon
Affiliations:- Lycée Descartes de Tours, France
According to our database1,
Yann Salmon
authored at least 2 papers
between 2015 and 2017.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2017
2015
Analyse d'atteignabilité pour les programmes fonctionnels avec stratégie d'évaluation en profondeur. (Reachability analysis for functional programs with innermost evaluation strategy).
PhD thesis, 2015