English | Russian |
generalization and substitutability | обобщение и заменимость (ssn) |
Liskov substitutability analysis | статический анализ кода на соответствие принципу подстановки Лисков (verifying that a class is substitutable by its subclasses in the case of dynamic dispatch. In other words, the child classes must be consistent with their parent; Electronic Design Alex_Odeychuk) |
substitutability principle | принцип подстановочности (принцип, согласно которому любой экземпляр потомка X может использоваться в качестве фактического значения переменной или параметра, объявленного как X, не нарушая при этом семантику объявления или использования. Другими словами, экземпляр элемента-потомка можно подставить вместо экземпляра элемента-предка (термин Барбары Лисков (Barbara Liskov)) ssn) |
tagged type substitutability | возможность подстановки тегированных типов (Alex_Odeychuk) |
tagged type substitutability | подстановочность тегированных типов (подстановочность – основная характеристика полиформизма типов Alex_Odeychuk) |