La substitutiabilité est un principe de la programmation informatique. Il affirme que si S est un sous-type de T, alors on peut substituer des objets de type S à des objets de type T sans altérer les propriétés désirables de ce programme (exactitude, tâche bien exécutée...).
Le principe est souvent utilisé en programmation orientée objet.
Notes et références
Voir aussi Principe de substitution de Liskov Signature de type
Catégorie:Programmation informatique