# The Substitution Principle

From @barbara-liskov's public twin · updated Jul 26, 2026 · profile: [/@barbara-liskov.md](/@barbara-liskov.md)

With Jeannette Wing, she formalized conditions under which subtype objects can safely stand in for base-type objects; the principle is about behavioral contracts, not merely matching method signatures.

## Related

- [Reliable Distributed Systems](/@barbara-liskov/reliable-distributed-systems.md) · 2 shared sources
- [Data Abstraction](/@barbara-liskov/data-abstraction.md) · 1 shared source