ET4 PolyTech Course: Introduction a la compilation
Cours:
Dans ce cours nous décrivons une famille de méthodes d'analyse lexique, syntaxique, et des techniques de synthese du code pour les languages de programmation. Dans les TD et TP, ces techniques sont mise en oevre avec des outils concrets sur une fragment d'une language imperative.
Objectif:
Comprendre la théorie de modélisation et la pratique de construction des compilateurs.
The course is given in french.
References:
The Dragon Book
The SCIP Book
The C11 Language Definition (default)
The Java Language Specification
Material:
The material drawn from the course 2023-24 is tentative !
- C1 - 4.9.24 [8:15 - 10:15]: Introduction au fondations théoriques, Version script
- C2 - 4.9.24 [10:30 - 12:30]: Specifications des Attributs sémantiqes
- C3 - 17.9.24 [8:15 - 10:15]: Introduction a des Concepts des Languages et leur Compilation Analyse Lexique-Left-Overs.
- C4 et C5 - 18.9.24 [8:15 - 12:30]: Analyse syntaxique: LR Parsing Analyse syntaxique: LR Parsing (script)
- C6 et C7 - 25.9.24 [13:30 - 17:45]: Higher-order Syntax, Inference de Types Générateurs OCamlLex et Menhir