Barbara Liskov：CLU与Argus语言发明人

最新推荐文章于 2024-07-04 16:04:39 发布
最新推荐文章于 2024-07-04 16:04:39 发布
阅读量268 收藏 1
点赞数
文章标签： python java ruby
原文链接：https://my.oschina.net/heguangdong/blog/34307
版权

2019独角兽企业重金招聘Python工程师标准>>> hot3.png

今天准备培训资料，突然想到里氏替换原则中的“里氏”到底is what ?

查了之后，大为震惊，原来是祖师爷级别的人物。

Barbara Liskov：CLU与Argus语言发明人

Barbara Liskov

计算机界有“计算机界诺贝尔奖”之称的图灵奖曾由男性垄断了40年，而在2008年6月这一局面再次被打破。Barbara Liskov被授予2008年度图灵奖得主，以表彰她对编程语言和系统设计方面所做出的实践与理论基础，尤其是数据抽象、容错和分布式计算方面的贡献。她也是第二位获得此奖项的女性科学家。

Barbara Liskov，本名Barbara Jane Huberman，1939年生于加利福尼亚。1961年在加州大学伯克利分校获得数学学士学位。在20世纪60年代，计算机科学这门新兴职业对女性来说还相当寒冷。Liskov在申请研究生、找工作过程中屡次碰壁。但这并没有击垮她，她认为“发生的不公平的事情，并不与我直接相关，我想也许正是这种态度，使我已经适应这些年来此类处境。”

Liskov生平最重要的科研成果是她为推动数据抽象使用所做的巨大贡献。她在此领域的创新使得软件更易于编写、修改和维护，极大地提高了计算机软件的可靠性、安全性和易用性。Liskov从实际项目中提炼出来的数据抽象思想，已经成为软件工程的重要精髓。

20世纪70年代早期，Liskov发明了两种计算机语言：CLU（一种支持数据抽象的面向对象编程语言）和Argus（一种分布式程序实现的高级语言）。这些研究成果成为现代编程语言的基础，支撑起整个现代应用软件行业，对每一种主流汇编语言产生了深远的影响，如C++、Java、Python、Ruby、C#等。她与亚裔女科学家周以真一起提出的Liskov替代原则，是程序设计中另一个广泛应用的成就。这个原则已成为面向对象最重要的原则之一。


转载于:https://my.oschina.net/heguangdong/blog/34307

sas???
关注
  • 0
    点赞
  • 踩
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
Barbara Liskov荣获2008年图灵奖
书 人 事
03-12 7823
 by 图灵刘江  转载请注明出处：http://blog.csdn.net/turingbook  【图灵本月主打书】iPhone开发基础教程  Amazon榜首图书，让我们抢先拥抱软件开发的未来                           Flex 3权威指南  来自Adobe公司的官方教程  刚才看HackerNews获悉，昨天，ACM（计
clu:CLU 编程语言
06-01
CLU 是芭芭拉·利斯科夫 (Barbara Liskov) 和她的学生于 1974 年至 1975 年在麻省理工学院创建的一种编程语言。 起源 我在跟随从开始并引导我到的切线时找到了这个来源 (404) 执照 ？ 大多数源文件都标有“版权所有麻省理工学院 1980、1989”。 我的第一个 TODO 是尝试查看是否可以联系此来源中列出的任何人，并为此来源设置正确的许可（如果有）。 在等待结果之前，我已将此来源列为麻省理工学院。 链接 这些天 CLU 404 上的大多数站点。 旧死链接 ftp://ftp.lcs.mit.edu/pub/pclu/CLU/3.Documents/clu-history.PS ftp://ftp.lcs.mit.edu/pub/pclu/CLU/3.Documents/CLU-syntax.ps.gz
程序开发原理：抽象、规格与面向对象设计.[美]Barbara Liskov(带详细书签).pdf
03-11
本书由著名编程理论专家所著，是美国麻省理工学院电子工程与计算机科学系的编程实践课程教材。书中讨论了怎样构建具有高可靠性、易于维护和快速修改的软件的开发方法，强调了软件的模块化开发思想，用丰富的实例告诉读者怎样进行模块化并合理地组织各种模块以构成大型软件系统的过程。该书的前8章首次提出编程领域中的一些十分有用的抽象概念，如过程抽象、迭代抽象以及最重要的数据抽象等。此外，本书通过大量的例子，用非形式化的规范来详细定义这些数据抽象，描述模块所需完成的任务，并定义了模块所需的性能边界条件。该书的后7章主要讲述了怎样利用抽象构建大型软件，主要侧重于软件工程的内容，基于类型层次结构提出对于数据抽象的调试、测试、需求分析、自顶向下和迭代的开发过程，还简要介绍了设计模式的概念。 这是一本传授思想的书籍，能使读者透过现象看到本质，从而掌握编写程序的关键。本书非常适合作为软件学院的教材，在低年级即可培养学生对于事物的抽象能力。此外，本书也非常适合软件开发人员参考。 第1章 概述 1 1.1 分解和抽象 1 1.2 抽象 2 1.3 本书其他要旨 8 练习 8 第2章 理解Java中的对象 9 2.1 程序结构 9 2.2 包 10 2.3 对象和变量 11 2.4 类型检查 14 2.5 分派 18 2.6 类型 18 2.7 数据流输入/输出 20 2.8 Java应用程序 20 练习 22 第3章 过程抽象 24 3.1 抽象的好处 24 3.2 规格 25 3.3 过程抽象的规格 26 3.4 实现过程 29 3.5 设计过程抽象 31 3.6 小结 34 练习 35 第4章 异常 36 4.1 规格 37 4.2 Java异常机制 38 4.3 异常编程 42 4.4 设计问题 43 4.5 防御编程 46 4.6 小结 47 练习 47 第5章 数据抽象 48 5.1 数据抽象的规格 49 5.2 使用数据抽象 53 5.3 实现数据抽象 54 5.4 附加方法 59 5.5 用于理解实现的一些帮助 63 5.6 数据抽象实现的属性 69 5.7 推理数据抽象 71 5.8 设计问题 74 5.9 局部性和可更改性 76 5.10 小结 77 练习 77 第6章 迭代抽象 79 6.1 Java中的迭代 81 6.2 迭代器规格 82 6.3 使用迭代器 83 6.4 实现迭代器 85 6.5 发生器的表示式不变量和抽象函数 87 6.6 有序列表 87 6.7 设计问题 91 6.8 小结 92 练习 92 第7章 类型层次 94 7.1 赋值与分派 95 7.2 定义一个类型层次 97 7.3 用Java定义层次 97 7.4 一个简单的例子 98 7.5 异常类型 103 7.6 抽象类 103 7.7 接口 106 7.8 复合实现 107 7.9 子类型的含义 112 7.10 类型层次的讨论 117 7.11 小结 118 练习 119 第8章 多态抽象 121 8.1 多态数据抽象 121 8.2 使用多态数据抽象 123 8.3 重新访问相等性 124 8.4 附加方法 125 8.5 更多灵活性 127 8.6 多态过程 130 8.7 小结 130 练习 131 第9章 规格 133 9.1 规格和规格满足集 133 9.2 规格的某些标准 133 9.3 为什么要有规格 138 9.4 小结 140 练习 140 第10章 测试与调试 141 10.1 测试 142 10.2 测试过程 147 10.3 测试迭代器 147 10.4 测试数据抽象 148 10.5 测试多态抽象 150 10.6 测试一个类型层次 150 10.7 单元和综合测试 152 10.8 测试工具 153 10.9 调试 155 10.10 防御性编程 159 10.11 小结 160 练习 161 第11章 需求分析 163 11.1 软件生命周期 163 11.2 需求分析总结 165 11.3 股票跟踪系统 168 11.4 小结 171 练习 172 第12章 需求规格 173 12.1 数据模型 173 12.2 需求规格 180 12.3 股票跟踪系统的需求规格 183 12.4 搜索引擎的需求规格 187 12.5 小结 190 练习 191 第13章 设计 193 13.1 设计过程纵览 193 13.2 设计笔记本 195 13.3 交互式程序的结构 199 13.4 开始设计 202 13.5 对方法的讨论 208 13.6 继续进行设计 209 13.7 查询抽象 210 13.8 WordTable抽象 214 13.9 最后加工 216 13.10 FP和UI间的交互 216 13.11 模块依赖图表vs数据模型 218 13.12 回顾及讨论 219 13.13 自顶向下的设计 222 13.14 小结 222 练习 223 第14章 从设计到实现 224 14.1 评估一个设计 224 14.2 整理程序开发过程 232 14.3 小结 236 练习 237 第15章 设计模式 238 15.1 隐藏对象创建 239 15.2 聪明的对策 242 15.3 桥接器模 248 15.4 过程也必须是对象 249 15.5 复合 252 15.6 间接的力量 258 15.7 发布/订阅 260 15.8 小结 263 练习 263 术语表 264
分布式系统---1 图灵奖获奖者Barbara Liskov介绍
weixin_33785972的博客
01-12 585
分布式领域图灵奖牛人Barbara Liskov维基介绍，英文原文链接https://en.wikipedia.org/wiki/Barbara_LiskovBarbara Liskov教授，就职于MIT，是美国杰出的计算机科学家，是美国第一位获得计算机科学Ph.D.的女性。1939年出生于加州洛杉矶，1961年在Berkeley获得数学学士学位，1968年在Standfor...
barbara:用于创建可视实时编码语言的虚拟机
05-06
芭芭拉Barbara是一种新颖的实时编码界面，使用户能够设计用于视觉几何图案生成的语言。 受算法缝模式的启发，Barbara帮助用户构建模仿真实缝程序的语言，这些程序可用于实时编码性能或数字棉被娱乐。 用户使用“解析...
barbara:机器人的芭芭拉（Barbara）
05-12
机器人的芭芭拉（Barbara） Barbara是为在Raspberry Pi上运行的Node.js设计的机器人饮用混合平台。 它具有一个配方库，每个用户的喜好以及一个分配系统，该系统可选地由带RFID标签的杯子触发。
LSPDemo：应用“ Liskov替代原理”设计模式
02-14
在软件设计领域，Liskov替代原则（Liskov Substitution Principle，简称LSP）是面向对象编程中的一个基本原则，由Barbara Liskov在1987年提出。这个原则是 SOLID 设计原则之一，它强调了子类型必须能够替换其基类型...
IOS 动画设计(2)——里氏代换原则
黄飞的博客专栏
10-03 1347
里氏代换原则由2008年图灵奖得主、美国第一位计算机科学女博士Barbara Liskov教授和卡内基·梅隆大学Jeannette Wing教授于1994年提出。传统的官方定义比较拗口且难以理解，这里，给出一个较为通俗易懂的定义： 所有引用基类（父类）的地方必须能透明地使用其子类的对象。只要父类能出现的地方子类就可以出现，而且替换为子类还不产生任何错误或异常，使用者可能根本就不需要知道是父类还是子
Barbara Plank-NLP模型的跨语言/跨领域迁移-经验分享
lqfarmer的博客
12-01 801
迁移学习（或者说多任务学习、领域自适应）在自然语言处理任务中普遍存在，比如说机器翻译任务中多语言翻译问题。 自然语言领域中迁移分为Transductive迁移和Inductive迁移两类： Transductive迁移分为跨领域的迁移（领域变换）和跨语言迁移（领域交叉学习）两类。 Inductive迁移分为并发任务学习（多任务学习）和串行任务学习（持续性学习）...
Liskov替换原则
Sbjhy的博客
08-05 2408
Liskov替换原则（Liskov Substitution Principle,LSP）:      是一组用于创建继承层次结构的指导原则，按照Liskov替换原则创建的继承层次结构中，客户端代码能够放心的使用他的任意类或子类而不担心影响所期望的行为。       （如果S是T的子类型，那么所有T类型的对象都可以在不破坏程序的情况下被S类型替换） 契约：       前置条件（precond...
"围观"设计模式(2)--里氏替换原则(LSP,Liskov Substitution Principle)
王洋的专栏
04-15 7551
在面向对象的程序设计中，里氏替换原则（Liskov Substitution principle）是对子类型的特别定义。它由芭芭拉·利斯科夫（Barbara Liskov）在1987年在一次会议上名为“数据的抽象与层次”的演说中首先提出。 里氏替换原则的内容可以描述为： “派生类（子类）对象能够替换其基类（超类）对象被使用。” 以上内容并非利斯科夫的原文，而是译自罗伯特·马丁（Robert Ma
【转】C语言中 -＞ 是什么意思？
热门推荐
littesss的博客
05-04 20万+
->是一个整体，它是用于指向结构体、C++中的class等含有子数据的指针用来取子数据。换种说法，如果我们在C语言中定义了一个结构体，然后申明一个指针指向这个结构体，那么我们要用指针取出结构体中的数据，就要用到“->”. 举个例子： struct Data { int a,b,c; }; /*定义结构体*/ struct Data * p;/*定义结构......
长长见识,编程语言大赏
yang1fei2的博客
11-07 3265
随着计算机技术的不断发展,各种各样的编程语言层出不穷,有的语言大红大紫有的语言寂寂无名。这里就梳理一下那些出现过的编程语言,可能不一定都用得到,长长见识就行。当别人说起来的时候至少听说过,不会一脸懵逼。 编程语言会根据编程范式、应用的平台、应用的场景三个维度进行分类,方便大家理解的记忆。 编程范式 依据编程范式编程语言分过程式、面向对象、多范式、函数式、逻辑式。 过程式编程语言 Fortran FORTRAN语言是Formula Translation的缩写，意为“公式翻译”。它是为科学、工
efm8系列单片机c语言编程,【经验】对EFM8系列8位单片机可编程逻辑单元CLU的作用及应用的理解...
weixin_32443035的博客
05-18 2084
Silicon Labs是世界著名的精密混合信号器件方案提供商，其推出的EFM8系列8位单片机，具有模拟性能好、集成度高、体积小、性价比高等优点，被广泛应用在光通信、新能源、电机控制等领域，深受工程师及广大最终用户的喜欢。其中，EFM8系列8位单片机还集成了独特可编程逻辑单元CLU数字外设，让EFM8单片机的功能更加强悍。那么，这个CLU的作用及应用是什么呢？本文将详细为你解读。configura...
Java基础:爬虫
最新发布
weixin_65752158的博客
07-04 585
Pattern:表示正则表达式Matcher:文本匹配器，作用按照正则表达式的规则去读取字符串，从头开始读取。在大串中去找符合匹配规则的子串。通过Pattern p = Pattern.compile("正则表达式");获得 通过Matcher m = p.matcher(str);获得 (m要在str中找符合p规则的小串)其中, m为Matcher对象, p为正则表达式规则, str为要验证的字符串. boolean b = m.find(); 表示拿着文本匹配器从头开始读取，寻找是否有
10.javaSE基础_JDBC编译程序(Driver+Statement+Connection+mysql数据库连接)
m0_61086522的博客
07-02 1045
JDBC是的缩写。它是Sun的Javasoft公司制定的Java数据库连接技术，是一套标准接口java.sql包中提供了JDBC API,通过它连接到各种数据库系统，编写访问数据库的程序。JDBC API不能直接访问数据库，它依赖于数据库厂商提供的JDBC Driver（JDBC驱动程序）
PyTorch读写模型（state_dict、torch.save、torch.load）
酒酿小圆子呀～
06-30 467
在PyTorch中，state_dict 是一个简单的python的字典对象，将每一层与它的对应参数建立映射关系。(如model的每一层的weights及bias等)注意：只有具有可学习参数的层(卷积层、线性层等)才有state_dict中的条目。优化器(optim)也有一个state_dict，其中包含关于优化器状态以及所使用的超参数的信息。
06.13软构复习pdf
06-14
06.13软构复习pdf

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值