Liste des devoirs : en cours de construction (au 08/11/2007)
Choix d'un sujet
Il manque les choix de
[Martin; Maxter]
Il y a 2 trinomes qui devraient se transformer en 3 binomes
- articles et documentations de logiciels
- pour programmeurs surchargés :
- Implementing Haskell Overloading (citeseer) Antonucci - Scher
- Type Checking Higher-Order Polymorphic Multi-Methods (voir citeseer)
- pour programmeurs d'aspects
- Semantics of static pointcuts in AspectJ
(pdf) Guclu - Mantoux
- Pour programmeurs lazy avec contrats
- Static Contract Checking for Haskell (pdf) Ravelojaona - Sevetian
- pour programmeur grammairiens :
- analyseurs LR typés : papier workshop ML en pdf et système menhir
Loiza - Pautet
- pour programmeurs structurés :
- From Structures and Functors to Modules and Units. Owens-Flatt (cf lien) Niamy - Ricard
- Modular Types class : (citeseer)
- Pour programmeurs dynamiques :
- The Missing Link - Dynamic Components for ML - Rossberg (pdf) Bareche - Maringer
- typeplug : practival, types pluggables (pdf)
Durao - Laurent
- Pour programmeurs extensibles :
- Extensible Pattern Matching via a Lightweight Language Extension (pdf) Martin - Souny
- Pour programmeurs avec interfaces :
- Tangible Functional Programming (pdf) et système Eros
- Pour programmeurs objets :
- Static analysis for syntax objects - Fisher - Shivers (ps) Ait Brahim - Entezami
- Pour programmeurs multi-langages :
- Operational Semantics for Multi-Language Programs (cf lien)
Mhoma - Theunissen
- Pour programmeurs multi-paradigmes
- A Multiparadigmatic Study of the Object-Oriented Design Patterns (pdf)
Nguyen - Wirth
- tests d'environnements
- pour programmeurs multi-plateformes :
- pour les fanas d'Eclipse :
-
extension du plugin Eclipse ocaide pour O'Caml Bros
- étude de faisabilité d'un plugin pour les systèmes d'aide à la preuve en utilisant PEP (Proof Engine Protocol)
- pour les programmeurs Perl : Perl 6
- langage multi-paradigmes :
- comparaison des implantations
- réalisations
- pour programmeurs pédagogues : concevoir
- une applet Java pour le lambda-calcul en forme de crocodiles (voir lien) Rodrigues - Tekkal en O'Caml - à 3 Coppola - Kehr - Ollivier en Java avec 2eme affichage
- une applet ou une application de vérification d'un type pour un lambda-terme (lambda-calcul simplement typé) Affi - Gung en O'Caml
- une applet ou application de typage d'un mini-ML fonctionnel et impératif (en Java ou avec ocamil ou en interoperant Java-caml avec Ojacare)
Rendu
Il est demandé un 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.
- pour une soutenance le lundi 12/11/2007, le remettre avant samedi 10/11/2007 14h
- pour une soutenance le lundi 19/11/2007, le remettre avant vendredi 16/11/2007 17h
en cliquant
ici pour envoyer le courrier de remise du devoir (rapport et réalisation).
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)
Page maintenue par Emmanuel Chailloux, dernière modification le 08/11/2007