Précédent Index Suivant

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.



Précédent Index Suivant