RICM4 - Langages et Traducteurs (LT) - 2016/17


Emploi du temps :

•     cours : jeudi 8h
•     TD : jeudi 9h45

Enseignants :

• Laurent Mounier (cours)
• Cristian Ene (TD)
• Alex Marechal (TD)

Documents Complémentaires :
On donne ici quelques documents et liens permettant (à ceux qui le désirent) d'approfondir certains points vus en cours ou en TD :

En guise de pré-requis :

• des rappels sur les langages réguliers (que tout le monde devrait connaitre !),
•  et des exercices de révision
  

un polycopié très bien fait (les chapitres 2 et 3 sont proches de ce qui est traité dans une partie de ce cours)

deux outils pour "jouer avec les grammaires" :

1. un outil d'élimination de la récursivité à gauche
2. grammophone, qui permet notamment de calculer les ensembles Premiers et Suivants, d'indiquer à quelle classe appartient la grammaire (LL(1), LR(0), etc.), et de produire les automates d'analyse correspondants
   

Annales :

• Le sujet de l'examen de janvier 2017, et des éléments de correction
  
• Le sujet du DS de novembre 2015, et une proposition de corrigé (automates des questions Q3 et Q5).
• Le sujet de l'examen de janvier 2016, et des éléments correction (et la pile de la Q1 de l'exercice 1)
  

Indications Bibliographiques :

• "Compilateurs : principes, techniques et outils", A.V Aho, R. Sethi, J.D. Ullman, InterEditions.
• "Compiler Construction", W.M Waite, G. Goos, Springer-Verlag.
• "Les compilateurs - théorie - construction - génération", R. Wilhelm, D. Maurer, Masson.
  
• "Introduction à la calculabilité", P. Wolper, InterEditions.
  

---

Le plan du cours et des TD (et documents associés) :

Semaine 1 (08/09)
  cours :  structure d'un langage - grammaire hors-contexte [notes cours] [transparents]
  TD : langages et grammaires hors-contexte [fiche TD]

Semaine 2 (29/09)
  cours : analyse syntaxique descendante [notes cours] et [transparents]
  TD : analyse syntaxique descendante [fiche TD]

Semaine 3 (13/10)
   cours : analyse syntaxique descendante (fin)
   TD : analyse syntaxique descendante [fiche TD] [exercice supplémentaire]

Semaine 4 (20/10)
   cours :  syntaxe abstraite + introduction analyse statique
   TD : syntaxe abstraite + introduction analyse statique [fiche_TD]

Interruption Pédagogique (27/10 -> 02/11)
     Travail pratique (libre service) : outils d'analyse syntaxique

Semaine 5 (03/11)
  cours : sémantique statique d'un langage impératif [notes cours]
  TD : Devoir Surveillé [SANS DOCUMENTS]


Semaine 6 (10/11)
   cours : sémantique statique d'un langage impératif [extensions]
   TD : sémantique statique [fiche TD]


Semaine 7 (17/11)
   cours (mercredi 16/11) : sémantique dynamique d'un langage impératif [notes cours]
   cours : sémantique dynamique d'un langage impératif [notes cours]
   TD : sémantique statique [fiche TD]
  
Semaine 8 (24/11)
   cours : sémantique dynamique d'un langage impératif (fin)
   TD : sémantique dynamique [fiche TD]   
   
semaine 9 (01/12)
   cours : génération de code [notes cours]
   TD : sémantique dynamique

semaine 10 (08/12)
  cours : génération de code
  TD : génération de code [fiche TD]
  
semaine 11 (15/12)
   cours : sécurité logicielle (en guise de conclusions)
   TD : génération de code [fiche TD]
  

semaine du 3 janvier : EXAMEN [AVEC DOCUMENTS]