Module : Langages objets à typage statique. CODE UMINM202

Responsable	Prof. Roland Ducournau ducournau@lirmm.fr
Parcours intégrant UV	aucun, mais cette UE est conseillée pour les futurs parcours TOIL et CODA
Parcours possibles	tous
Pré-Requis	au moins un module de Programmation applicative de Licencesoient ULIN 201, ULIN 303 et ULIN 605 (respectivement « Programmation
Controle connaissances	4 ECTS

Description de l'UE :

Semestre	Code	Intitulé	Cours	TD	TP	TER
S2	UMINM202	Langages objets à typage statique	18h	12h	12h

Problématique du typage statique dans la programmation par objets

définition du sous-typage et ses rapports avec la spécialisation et l'héritage

problème de covariance/contravariance

surcharge statique et sélection multiple

généricité (types paramétrés)

méta-modélisation et héritage multiple

Application aux langages C++, JAVA, EIFFEL, C#, etc.