2008 · 语言与软件

可以依赖的接口

抽象让系统内部可以变化，同时保留对外承诺。

芭芭拉·利斯科夫

2008图灵奖

视觉指南

奖项，化为图解

阅读图解文字

良好接口与可靠的分布式服务，让大型软件系统更容易演进。

只有接口确实描述了使用者所需的性质，隐藏细节才有价值。

01 · 核心想法

芭芭拉·利斯科夫发展了程序语言和系统设计的基础，尤其涉及数据抽象、容错和分布式计算。抽象数据类型提供行为明确的操作，同时隐藏其表示方式。这种分离帮助人们分析部件，并在不破坏调用者的情况下替换实现。

良好接口与可靠的分布式服务，让大型软件系统更容易演进。

02 · 人物

芭芭拉·利斯科夫发展了用易理解组件构造复杂软件的原则。她在麻省理工学院通过 CLU 的设计与实现，将数据抽象和模块化编程具体化。她还研究分布式系统、容错与行为子类型，展示清晰接口及严格规定的行为如何支持可靠程序和跨多台机器运行的系统。

03 · 延伸阅读

本站原创讲解依据官方获奖记录。领域标签用于编辑导航。