Séance de cours
Cette séance de cours couvre le concept d'interprétation et de compilation de modèles par une évaluation partielle, axée sur la transformation des interprètes en code compilé. L'instructeur discute du processus d'évaluation partielle à l'aide d'exemples comme la fonction de puissance, l'évaluation partielle automatique et les Projections de Futamura. La séance de cours explore les défis et les avantages de l'évaluation partielle, le rôle des interprètes modèles dans les langues modèles et le développement d'un évaluateur partiel pour Java. Il passe également de l'évaluation complète à l'évaluation partielle, aux techniques d'évaluation partielle en ligne et aux préoccupations liées à l'évaluation partielle Java. La discussion comprend la comparaison entre l'évaluation partielle hors ligne et en ligne, les appels de fonctions, la supercompilation, et conclut par l'importance des interprètes modèles pour soutenir les différents langages de modélisation et l'exécution dynamique.