リスコフの置換原則
リスコフの置換原則(りすこふのちかんげんそく、英: Liskov substitution principle)は、オブジェクト指向プログラミングにおいて、サブタイプのオブジェクトはスーパータイプのオブジェクトの仕様に従わなければならない、という原則である。リスコフの置換原則を満たすサブタイプを behavioral subtype(英語版) と呼ぶ。
リスコフの置換原則の概念は最初、1987年10月のOOPSLAでのバーバラ・リスコフの基調講演 “Data abstraction and hierarchy”にて、インフォーマルな形で紹介された。より形式的な定義は1994年のリスコフとウィング(英語版)の共著論文 “A Behavioral Notion of Subtyping” で与えられた。