Module "Programmation2"

Licence

Année 2004-2005

Cours

Responsables : Guy Cousineau.

Liste de diffusion du cours : http://liste.info.licence.univ-paris7.fr/.

TD/TP

Responsables : Vicent Balat, Christophe Prieur et Mihaela Sighireanu.

TP 1 : description d'analyseur lexical avec ocamllex
TD 2 : analyse lexicale
TP 3 : description d'analyseur syntaxique avec ocamlyacc
TD 4 : analyseur syntaxique SLR
TP 5 : ocamlyacc.
Presentation de la premiere partie du projet.
TP 6 : analyseur lexical et syntaxique pour le langage Beaver
TD 7 : typage
TP 8 : typage en ocaml
TD 9 : typage de Java
Presentation de la deuxieme partie du projet.
TD 10 : typage Java
TP 11 : typage Java
TD 12 : resolution de la surcharge en Java
TP 13 : travail sur le projet

Projet

Il s'agit de faire un analyseur lexical et syntaxique (premiere partie) et un verificateur de types (deuxieme partie) pour un sous-ensemble de java, appele miniJava.

Analyseur lexical et syntaxique pour miniJava :
- Syntaxe abstraite et concrete
- sources fournies
- La BNF complete de Java
- Date de remise : 22 avril à 19h.
Verificateur de types pour miniJava :
- Ennonce du projet
- Regles de typage
- sources fournies (l'analyseur compile se trouve sur les machines de l'UFR)
- Date de remise : 20 mai à 19h.

Contrôle de connaissances

Examen : a fixer.
Projet : soutenances la derniere semaine de cours (16-20 mai).
- premiere partie a rendre le 22 avril.

Dernière modification : Thu Mar 17 13:26:17 CET 2005
URL: http://www.liafa.jussieu.fr/~sighirea/cours/prog2/index.html