图灵奖得主：抽象化、迪杰斯特拉、分布式系统——芭芭拉·利斯科夫 [视频]

本视频中，图灵奖得主芭芭拉·利斯科夫分享了她对计算机科学中抽象化概念的深刻见解，探讨了艾兹格·迪杰斯特拉的影响，并回顾了她在分布式系统领域的开创性工作。利斯科夫以清晰而富有启发性的方式，讲述了她参与编程语言设计和系统构建的历程，为观众提供了计算机科学史上一位重要人物的独特视角。