Semestre 8 – Option – Compilation

Objectifs

Cette UE présente les méthodes et techniques de base de la compilation des langages principalement impératifs ainsi que la certification via les machines abstraites.

Prérequis

Contenu pédagogique de l’UE

  • Rappels sur les langages
  • Compilation d’un langage impératif :
    • structure de base de la machine abstraite,
    • expressions et affectations,
    • structures de contrôle,
    • structures de données statiques, dynamique,
    • adressage local et passage de paramètres,
    • génération de code.
  • Machines abstraites :
    • construction et structure
    • compilation certifiée