projets de Master (M1) année 2009-2010 : spécialité STL

Cette page contient des précisions sur les projets STL (anciennement TER) que je propose le plus souvent en co-encadrement.

liste des PSTL

• sujets déposés (lien en https)
  • Extension du plugin OCaide
    co-encadrement avec Nicolas Bros
    

    ocaide, eclipse, ocaml,
    autres liens : plugin ODT

  • Plugin GCC pour la bibliothèque Cadna
    co-encadrement avec Jean-Luc Lamotte et Basile Starynkevitch

    cadna, gcc, melt

  • Z3, une implantation de la ZAM utilisant WMkit
    co-encadrement avec Bertil Folliot

    cadmium,vmkit, llvm, hlvm

  • plugin OBrowser pour Navigateur
    co-encadrement avec Banjamin Canou

    obrowser, NPruntime

  • bibliothèque Caml // pour multicoeurs
    co-encadrement avec Philippe Wang

    OC4MC, OCF, Parallel concurrent ML

  • portage de mlpictex
    

    MLgraph/mlpictex, LaTeX, hevea, mlpost

  ---

• sujets non déposés

Ces PSTL (ex-TER) utilisent en règle générales le langage O'Caml comme langage d'implantation.

---

derniere modification le 13/12/2009

---