Master mention Informatique, première année M1

Projet de compilation

2009-2010


Soutenances jeudi 10 démbre salle D103
Vous devez être présent 20 minutes avant votre heure prévue de passage !


Documents

  • Les transparents du cours de mise à niveau
  • Le poly du cours Initiation à la programmation fonctionnelle
  • Le poly Formation au langage CAML
  • Documentation de Caml et des librairies
  • Quelques conseils de programmation en OCaml
  • Le guide de survie
  • Le fichier init-tuareg.el

    TP d'initiation à Ocaml

    Sujet du TP 1 et les fichiers du parser parser.ml et parser.mli et le corrigé de l'exercice 2

    Sujet du TP 2 et l'archive arithc.tgz et le corrigé

    Le projet de compilation: Réalisation d'un compilateur pour Pascal avec Modules

  • Un script pour tester votre compilateur et un nouveau Makefile.

  • Sujet 1: Analyse syntaxique (correction)
  • Sujet 2: Analyse sémantique (correction)
  • Sujet 3: Production de code (exemples de programmes : pascal.pas, mandelbrot.pas)

    Soutenances

    Les soutenances se font en binôme et durent 20 minutes. Vous devez être présent 20 minutes avant votre heure prévue de passage indiquée ci-desous. 09h00 : Hamza-Cherif Samir 09h20 : JACQUET Bruno --- MARQUES Pierre 09h40 : Adel CHEBBINE --- DIA 10h00 : Adel MEZHOUD 10h20 : 10h40 : PAWSKI Krzysztof --- CORNUET Nicolas 11h00 : Ali ZERROUKI --- Hammou MERZOUK 11h20 : Myriam MESSALTI --- Jun JIAO 11h40 : 12h00 : 12h20 : Thibault SOUDAIS --- Vincent Jacob WHANNOU de DRAVO 12h40 : Guillaume DULIN --- Michaël KERBER 13h00 : Alexandre Prathoumvanh --- KERKAR Mounir 13h20 : SHEN Wei --- DAI Lanping 13h40 : 14h00 : Raphaël CHAMPEIMONT --- Yoren GAFFARY 14h20 : Sall Papa Amadou --- Ndiaye Demba 14h40 : GONG Li --- ZHOU Xiao 15h00 : Jean PICHON --- Etienne DESCAMPS 15h20 : 15h40 : Fadia BOUKLI-HACENE --- Sana BEN-CHEIKH-SALAH 16h00 : Denis BOUCHINET --- Leo CAZENILLE 16h20 : Sebastien PIPET 16h40 : 17h00 : David BONNET --- Jean-Christophe LANOE 17h20 : Evariste LABREUVILLE --- Arthur HIDALGO 17h40 : Youssef Maghraoui --- Thibaut Boulenger

    La machine virtuelle utilisée pour le projet

    La machine virtuelle utilisée pour le projet est installée au 640 (binaires vm et gvm installés dans ~mandel/bin).

    La documentation de la machine virtuelle.

    Si vous souhaitez l'installer chez vous, voici les