Titre : Enforcing Type-Safe Linking using Inter-Package Relationships

Auteur : Mehdi Dogguy (PPS - Université Paris Diderot)

Abstract : Les langages fortement typés reposent sur des vérifications
lors de l'édition de liens afin de garantir que la sûreté du typage
reste respectée entre différentes unités de compilation. Ces
vérifications sont très strictes, et incompatibles avec l'usage dans
les distributions de logiciels libres utilisant des paquets qui est de
supposer que les bibliothèques sont rétrocompatibles. Ainsi, les
gestionnaires de paquets sont souvent incapables d'empêcher un
utilisateur d'installer un ensemble incohérent de bibliothèques. Nous
étudions ici diverses approches à ce problème, et la solution que nous
proposons, qui a été adoptée par Debian avec succès pour plus de 300
paquets.