Master Sciences, Technologies et Santé
Mention Mathématiques, Informatique
M1 majeure Informatique
2010-2011
Universite Joseph Fourier.

Sémantique des Langages de programmation et Compilation

• Responsable des cours magistraux : Jean-Claude Fernandez
• Responsables des groupes de TD : Fabienne Carrier et Jean-Claude Fernandez

• Cours:
  
• Sémantique
  
• Sémantique : compléments
  
• Vérification de types
  
• Génération de code intermédiaire (3 adresses)
• Optimisation de code
  
• Génération de code
• Analyse Flot de Données

• TD: 
  
• td0.pdf
• td1.pdf
• td2.pdf
• td3.pdf
• Types.pdf
• TD sur l'analyse Flot de Données
• TD_GenCode.pdf


• Contrôle continu:
  
• Devoir surveillé : le mercredi 16 novembre
• Devoir à la maison, à rendre le mardi 29 novembre Sujet 1112 Pratique
• TP d'analyse syntaxique en libre service: 
  
• Analyse ascendante
• Analyse descendante et ascendante
• td4.pdf
• Sujets d'examen : 
  
• Examen 09-10