Barbara Liskov

ふと、昨日の記事に書いた論文読んでて思ったんだけど、この論文の著者の一人になってるBarbara Liskovさんって、もしや「リスコフの置換原則(Liskov Substitution Principle)」のリスコフさんか？？と思って調べてみたらやっぱりそうみたい。
ソフトウェア工学系の人かなと思っていたんだけど、そうでもないみたいですね。

• Data abstraction and hierarchy, SIGPLAN, 1988
• A Behavioral Notion of Subtyping, ACM Transactions On Programming Languages and Systems, 1994

あたりが、関係ある論文かなぁ。よくわかんないけど。