Master mention Informatique, première année M1

Projet de compilation

2008-2009

Dernières nouvelles

(11/12/08) Les soutenances du projet de compilation se dérouleront le mercredi 7 janvier à partir de 13h30 (salle 104, PUIO)

(4/12/08) Changement de date pour la partie 3: elle est à rendre pour le lundi 15 décembre avant 10h

Documents

  • Le poly du cours Initiation à la programmation fonctionnelle
  • ... et ses transparents
  • Le poly Formation au langage CAML
  • Quelques conseils de programmation en OCaml
  • Le guide de survie
  • Le fichier init-tuareg.el

    Emploi du temps

    Romain Bardou
    Mercredi 13h30-17h30
    groupe 1
    salle machine 104     		Louis Mandel
    Jeudi 8h30-12h30
    groupe 2
    salle machine 104     		Sylvain Conchon
    Jeudi 13h30-17h30
    groupe 3
    salle machine 103

    TP d'initiation à Ocaml

    Sujet du TP 1 et les fichiers du parser parser.ml et parser.mli

    Sujet du TP 2 et l'archive arithc.tgz

    Le projet de compilation: Réalisation d'un compilateur pour PtiCaml

  • Un script pour tester votre compilateur

  • Sujet 1: Analyse syntaxique (correction et les benchs)

  • Sujet 2: Analyse sémantique (correction et les benchs)

  • Sujet 3: Production de code

    Les soutenances

    Elles se dérouleront le mercredi 7 janvier de 13h30 à 18h dans la salle 104. L'ordre de passage prévu pour ces soutenances sera disponible sur le Wiki de l'ie2 très prochainement.
    Quelques conseils pour votre présentation
    Vos transparents devront présenter les points forts et faibles de votre compilateur (pour chaque partie), les difficultés que vous avez rencontrées, comment vous les avez résolues etc. Surtout ne pas commettre l'erreur classique de faire des transparents qui expliquent ce qu'est la compilation (un parser, un typeur etc.). Il est préférable de faire un exposé court plutôt que de vouloir absolument "tenir" les 10 minutes d'exposé.
    Retenez une chose importante: les examinateurs apprécieront la brièveté et la précision de votre exposé.

    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 ~conchon/bin).

    La documentation de la machine virtuelle.

    Si vous souhaitez l'installer chez vous, voici les