Cours de Compilateur Incrémental : De Tiger à l'Assembleur x86-64 en OCaml
2025-04-05
Il s'agit d'un cours de compilateur très pratique visant à construire un compilateur qui traduit le langage de haut niveau Tiger en code machine x86-64. Le cours utilise OCaml et met l'accent sur le développement piloté par les tests, le contrôle de version et la réutilisation du code. Il utilise une approche de développement incrémentale et itérative, étendant progressivement les fonctionnalités du langage et du compilateur, en tirant parti du style tagless-final pour une meilleure extensibilité. Le cours couvre les sujets standard des cours de compilateur, tels que l'analyse, la vérification de type, l'optimisation et la génération d'assemblage, mais d'une manière non traditionnelle.
Développement
développement incrémental