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

Cours de Compilation
Maîtrise d'Informatique

Notes de cours

Distribuées en cours, ne pas imprimer abusivement!

Travaux dirigés

Un recueil d'exercices se trouve à la fin du polycopié de cours. Il faut l'apporter à chaque séance.

Semaine 1 : 29 sept: Introduction : 1.1, 1.2, 1.3
Semaine 2 : 6 oct: Analyse lexicale : 2.2, 2.3, 2.6 optionnel 2.5
Semaine 3 : 13 oct: Séances sur machine par demi-groupe, programmation à l'aide de ocamllex (Énoncé) (Corrigé)
Semaine 4 : 20 oct: Analyse syntaxique 3.2, 3.10, 3.6 optionnel 3.7
Semaine 5 : 27 oct: Analyse syntaxique 3.11, 3.12/ Portée 4.1
Semaine 6 : 3 nov: Analyse sémantique (surcharge) TD 6
Partiel 12 novembre: 3 heures, notes de cours/TD manuscriptes autorisées
Semaine 7 : 17 nov: Analyse sémantique 4.3, 4.9
Semaine 8 : 24 nov: Génération de code 5.2 5.3 5.8
Semaine 9 : 1 dec: Génération de code 5.5 5.6
Semaine 10 : 8 dec: Génération de code objet, allocation de registres
Semaine 11 : 15 dec: Révisions

Quelques sujets d'examen

2002/2003: Partiel Novembre/Examen Janvier/Examen Septembre
2001/2002: Partiel Novembre/Examen Janvier/Examen Septembre
2000/2001: Partiel Novembre/Examen Janvier/Examen Septembre
1999/2000: Examen Janvier
1998/1999: Examen Janvier

TP de compilation

Le TP de compilation permet d'appliquer les méthodes et outils étudiés dans le cours de compilation pour l'analyse lexicale, syntaxique, le typage et la génération de code. Il donne l'occasion de réaliser un projet de développement logiciel.

Le projet est réalisé en CAML

Un aperçu des performances de Ocaml

Projet

L'objectif du projet est de développer un compilateur d'un sous-ensemble de Java vers une extension de la machine abstraite à pile décrite dans le cours.

Le projet est à faire impérativement en binôme. Chacune des trois parties qui le composent est à rendre à votre chargé de TP par e-mail (jean-christophe.filliatre@lri.fr, sylvain.conchon@lri.fr, julien.narboux@inria.fr, clement.renard@inria.fr, julien.signoles@lri.fr)

TP 1 semaine 29 septembre
TP 2 semaine 6 octobre
Sujet n^o 1 : à rendre le lundi 3 novembre avant 10h Corrigé (quelques tests négatifs)
Sujet n^o 2 : à rendre le lundi 1 décembre avant 10h Corrigé (quelques tests négatifs)
Sujet n^o 3 : à rendre le mardi 6 janvier avant 10h Corrigé (contient l'ensemble des tests)
soutenances début janvier

Machine virtuelle utilisée pour le projet :

Source : vm-1.2.tar.gz (faire ./configure, make et make install)
Binaires Linux : installés au 308 ; vous pouvez les utiliser sur toute autre machine Linux
Binaires Windows : vm.exe et gvm.zip (version 1.1)
Documentation (ne pas imprimer au 308 : vous a été distribuée au TP 2)

Notes de cours

Travaux dirigés

Quelques sujets d'examen

TP de compilation

Projet

Archives