Les enseignements sont assurés par Gaétan Richard (GR), Véronique Terrier (VT) et Léo Paviet Salomon et bénéficient des contributions de Jacques Madelaine et Florent.
| Séance | CM | TD | TP | ||
|---|---|---|---|---|---|
| 1 | VT | 10/01--16 | Intro langages formels. AFD, expression régulière (diapos) | Automate fini déterministe (TD1) | Mise en œuvre des AFD en Java |
| 2 | VT | 17/01--23 | AFN, déterminisation, équivalence AF et expr rég (diapos) | Automate fini non déterministe (TD2) | Automates |
| 3 | VT | 24/01--30 | Grammaire, arbre d'analyse, ambiguïté... (diapos) | Grammaires (TD3) | Prise en main de ANTLR. Analyse lexicale |
| 4 | VT | 31/01--06/02 | Analyse descendante, grammaires attribuées (diapos) | Grammaires attribuées (TD4) | Analyse syntaxique avec ANTLR |
| 5 | GR | 07/02--20 | Intro compilation. Code MVàP. (ressources) | Découverte de la MVàP (TD5) | TP5 à TP9 Compiler une calculette en MVàP |
| 6 | GR | 21/02--05/03 | Compilation : Variables, Types, Conditions. Vers les fonctions (ressources) | Code MVàP pour op. logiques, boucles ... (TD6) | |
| 7 | GR | 06/03--12 | Compilation : Procédures, fonctions (ressources) | Code MVàP pour des fns (TD7) | |
| 8 | GR | 13/03--19 | Compilation séparée. Optimisation (ressources) | ||
| 9 | VT | 20/03--26 | Analyse LL (diapos) | Analyse LL (TD9) | |
| 10 | VT | 27/03--08/04 | Analyse LR (diapos) | Analyse LR (TD10) | Calgary |
| 11 | 08/04--10/04 | Soutenances devoir | |||
Le travail demandé consiste à réaliser la calculette avec toutes les fonctionnalités décrites dans le TP 5 à TP 9
Vous pouvez faire le DM en binôme.
La note est basée sur les tests en ligne sur /home/etudiants/data/l3/compil/.
Nous posons aussi des questions sur votre DM pour déterminer votre compréhension.
Ce qu'on attend de vous est expliqué dans le sujet.
Le répertoire /home/etudiants/data/l3/compil/ contient un répertoire BM qui a 3 sous-répertoires :
calcs qui contient les sources des benchmarks en langage calculette (fichiers .code)reads qui contient des fichiers d'entrées pour les benchmarks ayant besoin de lire.writes qui contient les traces des résultats attendus.Le testeur écrit de nombreux fichiers de log dans un répertoire à l'endroit de l'appel.
Pour plus de détails sur le fonctionnement du script, lire svp le fichier AutoCor.sh
L'inscription à la soutenance et le rendu de votre devoir se fait via ecampus