The authors develop ideas such as synergy effects, and the substitution principles.
2.
Clearly the substitution principle and assumption 4 do not license the move from ( 3') to ( 4').
3.
The relationship between the two covariant return types is usually one which allows substitution of the one type with the other, following the Liskov substitution principle.
4.
This is conformant with the Liskov substitution principle, which states that all operations performed on an instance of a given type can also be performed on an instance of a subtype.
5.
In proposing this use of inheritance, the Eiffel designers reject the Liskov substitution principle, which states that objects of subclasses should always be less restricted than objects of their superclass.
6.
The interface of a software module " A " is deliberately defined separately from the " is only concerned with the specifications of the interface . ( See also Liskov substitution principle .)
7.
The problem concerns which subtyping or methods which mutate an object in a manner which may invalidate a ( stronger ) invariant found in a derived class, causing the Liskov substitution principle to be violated.
8.
In this context, the principle of safe substitution is often called the Liskov substitution principle, after Barbara Liskov who popularized it in a keynote address at a conference on object-oriented programming in 1987.
9.
The "'substitution principle "'in sustainability is the maxim that processes, services and products should, wherever possible, be replaced with alternatives which have a lower impact on the environment.
10.
Liskov has led many significant projects, including the Venus operating system, a small, low-cost and interactive timesharing system; the design and implementation of subtyping, commonly known as the Liskov substitution principle.
