연구문헌
교육정보
심화정보
포커스iN
연구자료
- 문자 DB
- 용어사전
알림마당
CSERIC 광장

단어	Liskov 교체 원리
단어	Liskov substitution principle
설명	객체 지향 프로그래밍에서, Liskov 교체 원리(Liskov substitution principle)는 서브타입(subtype)의 특별한 정의이다. 원리는 다음의 논문에서 간결하게 공식화된다. “q(x)가 타입 T의 객체 x에 대한 증명 가능한 속성이라 하자. 그러면 q(y)는 S가 T의 서브타입일 때 타입 S의 객체 y에 대해 참이어야 한다.”