@phdthesis{salmon:tel-01250252, TITLE = {{Analyse d'atteignabilite pour les programmes fonctionnels avec strategie d'evaluation en profondeur}}, AUTHOR = {Salmon, Yann}, URL = {https://hal.inria.fr/tel-01250252}, SCHOOL = {{Universit{\'e} de Rennes 1}}, YEAR = {2015}, MONTH = Dec, KEYWORDS = {Term Rewriting ; tree automata ; reachability analysis ; innermost strategy ; R{\'e}{\'e}criture ; automates d'arbres ; analyse d'atteignabilit{\'e} ; strat{\'e}gie d'{\'e}valuation en profondeur}, TYPE = {Theses}, PDF = {https://hal.inria.fr/tel-01250252v1/file/Final.pdf}, HAL_ID = {tel-01250252}, HAL_VERSION = {v1}, }