01 · 计算人生
成果背后的人
芭芭拉·利斯科夫发展了用易理解组件构造复杂软件的原则。她在麻省理工学院通过 CLU 的设计与实现，将数据抽象和模块化编程具体化。她还研究分布式系统、容错与行为子类型，展示清晰接口及严格规定的行为如何支持可靠程序和跨多台机器运行的系统。
理解这项贡献
芭芭拉·利斯科夫发展了程序语言和系统设计的基础，尤其涉及数据抽象、容错和分布式计算。抽象数据类型提供行为明确的操作，同时隐藏其表示方式。这种分离帮助人们分析部件，并在不破坏调用者的情况下替换实现。
为什么重要
良好接口与可靠的分布式服务，让大型软件系统更容易演进。