TP de Ocaml — Université de Paris 13 — 2009/2010

• TP 1 et 2: 19 février et 5 mars 2010
  utilisation de Ocaml, inférence de types, définitions de fonctions sur les fractions, quelques fonctions sur les listes
  • énoncé TP 1 (pdf)
  • correction (ml)
• TP 3: 19 mars 2010
  arbres binaires, arbres binaires de recherche, arbres binaires équilibré et arbres n-aires
  • énoncé TP 3 (pdf)
  • correction (ml)
• PROJET: dernier délai 22 mai
  sujet
  • projet (pdf)
  Vous devrez rendre d'ici le 22 mai par email à votre responsable de TP (Samir Hamichi : hamichi at poleia.lip6.fr ou Michele Pagani: michele.pagani at lipn.univ-paris13.fr), un fichier .tar.gz contentant :
  • un rapport en format pdf détaillant précisément le travail effectué et les choix d'implémentation ;
  • un fichier .ml contenant le code correspondant aux exercices de la section 2, en suivant rigoureusement l'énoncé, et sans aucune extension ;
  • un ou plusieurs fichiers correspondant aux exercices de la section 3, permettant de construire un exécutable ;
  • un fichier README expliquant les commandes à taper pour générer l'exécutable des exercices de la section 3 et le lancer.
  Soutenance prevue le 28 mai 2010 (l'horaire des soutenances sera communiqué sur ce page).