Traduction et sémantique

Calendrier (fichier .ics.)

Nouveautés

Les notes de l'examen de rattrapage.
Les notes de l'examen.
Le groupe Projet TS 2010 est ouvert (forum, partage de documents) sur le Bureau Virtuel.
Les notes du partiel.
Le corrigé du partiel.
Le texte du projet.
De le 12/2/2010, les transparents du cours sont en ligne, par ici.

Le projet

Le texte du projet.
La composition des binômes est à communiquer au responsable de la formation avant le vendredi 12/3/2010. Si vous ne communiquez pas votre binôme avant ce délai, 2 points par démi-semaine de retard seront retirés de l'évaluation finale de votre projet.

Voici un script shell qui permet de faire l'import initial du projet dans le depot svn (à partir de mim-srv, à utiliser par les responsables de projet).
Pour avoir une copie du projet

depuis le CMI, tapez la commande suivante :
svn checkout https://svn-srv/respduprojet/TS/projetTS/trunk projetTS
où respduprojet est le responsable du projet.
depuis l'exterieur :
1. ouvrez un tunnel ssh vers svn-srv :
  ssh -f -L12345:svn-srv:443 monlogin@massilia.univ-mrs.fr sleep 3600
2. tapez :
  svn checkout https://127.0.0.1:12345/respduprojet/TS/projetTS/trunk projetTS
  où respduprojet est le responsable du projet.

Emploi du temps

22/1/2010. Une introduction : le langage lse, analyse lexicale et syntaxique du langage, traduction vers la machine virtuelle.
Fiche de tp et td.
Un peu de code source pour le TP et quelques solutions aux exos.
29/1/2010. Une introduction (II partie) : évaluation et typage pour le langage lse. Analyse lexicale : expressions régulières, AFN, AFD.
Fiche de tp et td.
Un peu de fichiers html pour tester le TP et des solutions aux exos.
5/2/2010. Analyse lexicale : Lex, principes, fonctionnement. Analyse syntaxique : rappels sur les grammaires et les automates à pile.
Fiche de tp et td.
12/2/2010. Analyse syntaxique : automates à pile. Analyse descendante et grammaires LL(1).
Fiche de tp et td.
Un peu de code source pour le TP.
25/2/2010. Introduction à Yacc/Bison. Analyse ascendante et grammaires LR(0).
Fiche de tp et td.
Quelques solutions aux exos.
5/3/2010. Analyseurs et grammaires LR(1) et LALR(1).
Fiche de td.
9/3/2010. Partiel.
19/3/2010. Traduction dirigée par la syntaxe, grammaires attribuées, attributs synthétisés et hérités. Implantation des grammaires S-attribuées et L-attribuées.
Fiche de td.
Un peu de code vu en cours : construction de la syntaxe abstraite pour lse.
26/3/2010. Contrôle de type.
Fiche de td.
Un peu de code vu en cours : contrôle de type pour lse.
23/3/2010. Unification. Table de symboles. Langages à blocs.
Fiche de td.

Références

Contenu du cours

Introduction à l'analyse syntaxique et à la compilation, par Roberto Amadio.
Compilateurs : principes, techniques et outils, par Alfred V. Aho, Ravi Sethi et Jeffrey D. Ullman.

Les outils Lex et Yacc

lex and yacc par Levine, Mason, Brown.
flex & bison par John Levine.
Manuel de Flex (outil compatible Lex).
Manuel de Bison (outil GNU compatible Yacc).
Un article sur Lex et Yacc par Etienne Bernard, en langue française.

Faire une recherche à la Bibliothèque Universitaire.

FAQ

Comment le cours est évalué ? Voici la formule :
NF=(2 max (E, (2E+P) / 3) + TP) / 3
où E est la note (rattrapable) de l'examen, P est la note (non rattrapable) du partiel, TP est la note (non rattrapable) du projet à elaborer en TP.

Infos anciennes

Calendrier des soutenances de projet :
- groupes TPa et TPb : mardi 25/05 à 9h00, en salle 110.
- groupe TPc : le 27/5 à 10h.
Emploi du temps des derniers cours, TD et TP :
- Le prochain (et dernier) cours TS aura lieu le vendredi 23 avril.
- Les deniers TD auront lieu le 23 avril (TD1) et le 27 avril (TD2) respectivement.
- Les deniers TPb auront lieu le 20 avril et le 4 mai.
- Les deniers TPa auront lieu le 22 avril et le 29 avril.
Le cours du 26/3 aura lieu en salle C001 (à 8h30).
Une séance de consultation des copies du partiel est prévue ce vendredi 19/3, après-midi.
Le partiel du cours Traduction aura lieu le mardi 9/3/2010, de 8h30 à 10h30 en Amphi.
Le cours BD de ce jour est reporté au vendredi 12/3, de 8h30 à 10h30 en Amphi.
De le 5/2/2010, les transparents du cours ne sont plus en ligne.
Début du cours le 22/1/2010.