Cet enseignement aborde les problèmes liés à la compilation séparée confrontée au principaux paradigmes de la programmation : abstraction de types, génércité, héritages explicites et par défaut, encapsulation/visibilité, types privees, ...
Le langage ADA sera utilisé comme support aux nombreux exemples proposés.