Objectif
Ce module présente divers aspects relatifs à la programmation par objets.
Plan
Présentation des techniques d'implémentation et d'optimisation des langages à objets pour :
l'envoi de message ou liaison tardive
l'accès aux attributs (et l'implémentation des objets)
le test de sous-typage
Parmi les techniques étudiées :
implémentation standard en typage statique et compilation séparée (C++)
techniques d'optimisation globales (analyse de types, coloration)
optimisations globales en compilation séparée
problématique du chargement incrémental (JAVA)
les techniques adaptées au typage dynamique
Spécification de nouveaux traits de langages et étude de leur implémentabilité.
