Барбара Лисков, профессор Массачусетского технологического института (MIT), разработала принцип, описывающий концепцию подстановки (замещения) в наследовании. Этот принцип гласит, что в программе любой экземпляр класса должен быть пригодным для замещения экземпляром одного из его подклассов без ущерба для правильности программы.23Правильность в этом контексте означает, что программа остается безошибочной и достигает тех же базовых результатов, хотя точный результат может быть другим или достигнут другим способом. Подстановка возникает из-за того, что подклассы строго придерживаются интерфейса своих суперклассов.
