projets de Master (M1) année 2006-2007 : spécialité STL

Cette page contient des précisions sur les projets STL (anciennement TER) que je propose.

liste des PSTL

• sujets déposés (lien en https)
  • prouveur en .NET
    
    • camil, these sur camil, Phox,Coq, camlp4
  • pluging Eclipse pour le développement en O'Caml
    • eclipse, plugin ocaml
  • O'Xul : interface Xul en O'Caml
    rapport portage en Firefox 2.0 (en PDF)
    • rapport PSTL 2005/2006 (en PDF.gz)
  • portage Camil vers Mono
    • camil, these sur camil, mono

  ---

• sujets non déposés
  • hirondML
    • distribution
  • mlpictex
    • site

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

---

derniere modification le 25/02/2006

---