ACM通信

抽象的力量——barbara Liskov的OOPSLA主题演讲

OOPSLA 2009于今天(周二)拉开帷幕芭芭拉Liskov的主题。她是a.m.图灵奖2008年的获奖足以证明她工作的重要性和影响力。作为编程语言研究的先驱之一，她回顾了过去，指出了关键编程原则开始的地方。令人惊讶的是，我们今天认为理所当然的一些原则是如何从困惑和混乱中产生的，这要感谢芭芭拉这样的先驱。

芭芭拉的主题演讲被恰如其分地命名为抽象的力量。她谈到了编程语言中抽象的重要性，并提到了思维过程如何从完全控制资源转变为为了可读性而放弃一些资源来获得抽象。芭芭拉回到过去解释那个故事俱乐部还有百眼巨人一种用于分布式计算的语言和系统。从这些大约发生在35到25年前的项目中学到的经验教训，是许多现代语言的基石。我们在现代编程语言中看到的一些特性被考虑在内革命实际上是进化并起源于CLU和ARGUS等语言。

芭芭拉指出的一些关键文件是

1。”转到被认为有害的声明埃德斯格·w·迪克斯特拉(1968)
2。”逐步细化的程序开发尼克劳斯·沃斯(1971)
3。”设计方法论的信息分布方面——作者D.L.帕纳斯(1971)
4。”使用抽象数据类型编程作者:芭芭拉·利斯科夫和斯蒂芬·n·齐勒斯(1974)

虽然这些论文中讨论的想法在今天看来很普通，但它们确实起源于几十年前，并在创造现代技术格局中发挥了关键作用。也许芭芭拉最近的理论贡献是众所周知的利斯科夫替换原理它在形成现代面向对象语言方面发挥了关键作用。有几个有趣但有些争议的观点，比如Barbara认为继承不是现代编程语言中最有趣的特性，这引发了一些有趣的讨论。随着讨论的进展，很明显，对于大多数此类问题都有多种同样有效的观点。

正如一位参与者在问答环节中评论的那样，“图灵奖是当之无愧的。”

没有找到条目