Analyse d'atteignabilité pour les programmes fonctionnels avec stratégie d'évaluation en profondeur. (Reachability analysis for functional programs with innermost evaluation strategy). - Yann Salmon 001 (2015)

Reachability Analysis of Innermost Rewriting. - Thomas Genet; Yann Salmon 001 (Log. Methods Comput. Sci., 2017)