Master d'Informatique FMIN 314 (M1-S2)
Langages Objets à
Typage Statique
Présentation
Pour une présentation du module, lire l'introduction du
polycopié ci-dessous, dont les parties I et II serviront de
support au cours.
Exceptionnellement, cette page
web est à jour (le 29-3-2012)
Feuille de TDs
TD 1 : briques de base en Java et C++
TD 2 : tests covariance/contravariance
en Java et C++
Pour la semaine de la rentrée (28 février), choisir un
langage parmi : Eiffel, NIT, Scala, OCAML, Ada 2005, ...
TD 3 : surcharge statique et cast
TD 4 : exemple des graphes d'objets
TD 5 : implémentation des
associations UML avec spécialisation et covariance
TD 6 : implémentation des
associations UML avec la généricité
F-bornée
TD 7 : types virtuels (Scala, Prm/Nit ou
Eiffel)
Projet : spécifications du
projet des graphes d'objets
La démonstration du
projet se fera individuellement en salle de TP du 9 au 11 mai.
Documentation
Polycopié distribué en cours, à ne pas
imprimer, mais pour profiter de l'hypertexte...
R. Ducournau.
Programmation par Objets : les concepts fondamentaux.
180 pages, 2000--2011. (pdf file)
Archive intranet
(accessible depuis le LIRMM et l'UM2) de documentation sur les
objets, en particulier sur SCALA et EIFFEL.
Archive examens
Ici