芭芭拉·利斯科夫 编辑
芭芭拉·利斯科夫，本名芭芭拉·简·休伯曼。美国计算机科学家，2008年图灵奖得主，2004年约翰·冯诺依曼奖得主。现任麻省理工学院电子电气与计算机科学系教授。
1
相关
CLU是一门编程语言，由芭芭拉·利斯科夫和她的学生在1974年到1975年于麻省理工学院创造。虽然它没有被广泛使用，但它引入了抽象数据类型，和许多现在广泛使用的特性，而被视为面向对象编程发展的重要一步。
在面向对象的程序设计中，里氏替换原则是对子类型的特别定义。它由芭芭拉·利斯科夫在1987年在一次会议上名为“数据的抽象与层次”的演说中首先提出。
在面向对象的程序设计中，里氏替换原则是对子类型的特别定义。它由芭芭拉·利斯科夫在1987年在一次会议上名为“数据的抽象与层次”的演说中首先提出。
周以真是一位美国华人计算机科学家。卡内基梅隆大学教授。美国国家自然基金会计算与信息科学工程部助理部长。ACM和IEEE会士。她的主要研究领域是形式化方法、可信计算、分布式系统、编程语言等。1993年她与图灵奖得主芭芭拉·利斯科夫合作，提出了著名的Liskov代换原则，是面向对象基本原则之一。
在面向对象的程序设计中，里氏替换原则是对子类型的特别定义。它由芭芭拉·利斯科夫在1987年在一次会议上名为“数据的抽象与层次”的演说中首先提出。
Argus是芭芭拉·利斯科夫在麻省理工学院于1982年到1988年之间创立的编程语言，协作者包括Maurice Herlihy、Paul Johnson、Bob Scheifler和William Weihl。它是CLU语言的扩展，利用了大多数的相同语法和形式语义学。Argus被设计用来支持分布式计算，通过封装有关过程在叫做“守护者”的对象之中，和通过支持叫做“行动”的线性一致性。