6.4 Machine de Krivinne : compilation du l-calcul
La principale difficulté de la mise en oeuvre d'un langage fonctionnel vient
de la traduction du contrôle implicite de l'exécution dans un modèle de calcul où il devient
explicite. Comme le modèle sous-jacent des langages fonctionnels est le l-calcul,
nous nous intéressserons tout d'abord à la compilation du l-calcul en étudiant
une machine abstraite très simple appelée la machine de Krivinne.
On étudiera par la suite les principaux modèles de compilation des langages fonctionnels.