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


Emploi du temps :

Enseignants :

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 :

  • 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 :
  • Indications Bibliographiques :


    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]