Deprecated : The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Langages de programmation et compilation
Langages de programmation et compilation
Cours le jeudi de 16h45 à 19h00 en salle U/V
TDs le mercredi de 16h30 à 18h30 en salle INFO 03
Évaluation : un examen + un projet
Cours
Cours 1 (25 septembre 2008) : Mise à niveau Caml
Cours 2 (2 octobre 2008) : Aperçu de la compilation / Assembleur MIPS
Cours 3 (9 octobre 2008) : Syntaxe abstraite / Sémantique / Interpréteurs
Cours 4 (16 octobre 2008) : Typage
Cours 5 (23 octobre 2008) : Analyse lexicale
Cours 6 (30 octobre 2008) : Analyse syntaxique
pas de cours le 6 novembre 2008
Cours 7 (13 novembre 2008) : Compilation des langages impératifs
Cours 8 (20 novembre 2008) : Compilation des langages fonctionnels
Cours 9 (27 novembre 2008) : Compilation des langages objets
Cours 10 (4 décembre 2008) : Production de code efficace, partie 1
Cours 11 (11 décembre 2008) : Production de code efficace, partie 2
TD
TD 1 (1 octobre 2008) :
Mise à niveau Caml
TD 2 (8 octobre 2008) :
Assembleur MIPS
TD 3 (15 octobre 2008) :
Interprète mini-Pascal
TD 4 (22 octobre 2008) :
Algorithme W
pas de TD le 29 octobre
TD 5 (5 novembre 2008) :
Construction d'automates déterministes à partir d'expressions régulières
TD 6 (12 novembre 2008) :
Analyse descendante
TD 7 (19 novembre 2008) :
Aide au projet
TD 8 (26 novembre 2008) :
GC stop & copy
TD 9 (3 décembre 2008) :
Aide au projet
TD 10 (10 décembre 2008) :
Coloriage de graphe
TD 11 (17 décembre 2008) :
Aide au projet
TD 12 (7 janvier 2009) :
Aide au projet
Examen
L'examen aura lieu le jeudi 22 janvier, de 14h à 17h, en salle U/V.
Projet
Petit Caml (v3)
historique :
v3 (21 novembre) :
_ n'est pas un identificateur (mais un motif)
une typo dans la règle de typage du n -uplet
typos dans les règles de grammaire (:= au lieu de ::=)
v2 (17 octobre)
deux petites typos dans les règles de typage
v1 (8 octobre)
à rendre pour le jeudi 15 janvier
Liens / Bibliographie
Outils
Ouvrages
Remerciements : merci à Christine Paulin, François Pottier et
Xavier Leroy pour leur aide dans la préparation de ce cours