Techniques avancées de la
programmation
Description
- Introduction et maîtrise du langage OCaml: langage
fonctionnel, modulaire et objet.
- Techniques de programmation fonctionnelle:
- Généralisations.
- Programmation orientée par les données
(data-driven programming).
- Représentation de données par des fonctions.
- Contrôle de l'évaluation et paresse.
- Programmation par passage de continuations (continuation
passing style).
- Techniques de programmation générique et
générative
(utilisations des modules et des classes paramétrées en
OCaml, C++, et Java 1.5):
- Motifs de programmation générique (design
patterns).
- Génération automatique de programmes
spécifiés.
Enseignant
Ph. Narbel
Contrôle des connaissances
Examen écrit de 3h (coefficient 1)
Contrôle continu (coefficient 1)
Références
- Purely Functional Data Structures, Okasaki. Cambridge University
Press, 1998
- ML for the Working Programmer. Paulson. Cambridge: Cambridge
Univ. Press, 1997.
- Développement d'applications avec OCaml. Chailloux,
Manoury, Pagano. O'Reilly, 2000.
- C++ Templates, Vandevoorde and Josuttis. Addison-Wesley, 2003
- Generative Programming, Czarnecki and Eisenecker.
Addison-Wesley, 2000
Veuillez reporter toute erreur ou omission à Olivier Baudon.
Dernière mise à jour effectuée le 24 avril 2004.