STL - M2 - TEP 2008/2009

Liste des devoirs : en cours de construction au 05/11/2008

Choix d'un sujet

non attribué à : Spiewak

• articles et documentations de logiciels
  • pour programmeurs Scheme
    • The Design and Implementation of Typed Scheme (PDF) Huang - Oudin
  • pour programmeurs modulaires
    • Mixin'up the ML Module System (site) Bocquillon - Dahmouh
  • pour les XMLiens
    • Typed Iterators for XML (PDF) Kubrick - Royer
    • CDuce: an XML-Centric General-Purpose Language (PDF + lien). Benyettou - Keyrouz
  • programmation avec unités
    • Dimension Types ( lien) Tafat Bouzid || Rosenbaum
  • pour programmeurs surchargés :
    • Type Checking higher-Order Polymorphic Multi-Methods (voir citeseer) Bourouh - Flageollet
  • pour programmeurs d'interfaces
    • Tangible Functional Programming (pdf) et système Eros Amrane - Pouvrasseau
  • pour programmeurs variants
    • Le caractère ` à la rescousse -- Factorisation et réutilisation de code grâce aux variants polymorphes (pdf) Terrasson || Aouchiche - Baiche
  • pour programmeurs contractants
    • Static contract checking for Haskell (lien version POPL) Debrat
  • pour programmeurs dynamiques
    • Generic Polymorphism in ML (en ps) Ibrahim - Keiss
    • typeplug : practival, types pluggables (pdf) Engrand - Mergherbi
• tests d'environnements et langages
  • Ocsigen et Eliom pour la réalisation de sites Bourgoin-Jonquet
  • Perl 6 Miri - Pieron
• réalisations (plusieurs autour de Obrowser)
  • pour l'élégance du lambda-calcul pur
    • Applet d'évaluation des lambda-termes utilisant O'Browser Cherief - Wong
  • pour programmeurs pédagogues : concevoir
    • une applet de vérification d'un type pour un lambda-terme (lambda-calcul simplement typé) : langages possibles : java ou O'caml (avec O'browser) Do Trong
    • une applet de typage d'un mini-ML fonctionnel et impératif : langages possibles : java ou O'caml (avec O'browser)Bau - Boujbel
    • un programme de simulation d'algorithmes de résolution de la surcharge pour un mini-Java : à préciser Dul - Masliah

Rendu

Il est demandé un court rapport clair et concis (moins de 10 pages sans les annexes) présentant la problématique du sujet en guidant le lecteur par un exemple pertinent. On peut ajouter des annexes à ce document (en particulier les listings ou des exemples plus complets). Ce document doit etre rendu AVANT les soutenances.

Evaluation

L'evaluation du projet comprend :

• le rapport du projet et une archive des implantations (note commune au binome)
• une soutenance de 15 minutes par projet (note individuelle)

Les rapports sont à rendre au plus tard le lundi 01/12/2008 matin avant 9h.

---

Page maintenue par Emmanuel Chailloux, dernière modification le 21/11/2008