BT

Facilitating the Spread of Knowledge and Innovation in Professional Software Development

Write for InfoQ
News Articles Presentations Podcasts Guides

Topics

Choose your language

QCon New York

Find real-world practical inspiration from the world’s most innovative software leaders. Attend in-person.
QCon San Francisco

Learn what's next in software from world-class leaders pushing the boundaries. Attend in-person or get video-only pass to recordings.
The Software Architects' Newsletter

Your monthly guide to all the topics, technologies and techniques that every professional needs to know about. Subscribe for free.

InfoQ Homepage Presentations OOPSLA Keynote: The Power Of Abstraction

Kubernetes & Cloud Native Security Roundtable (Jun 27th): Register Free with INFOQCLOUDJUN23

OOPSLA Keynote: The Power Of Abstraction

Bookmarks
01:18:34

Summary

In a reprise of her ACM Turing Award lecture, Barbara Liskov discusses the invention of abstract data types, the CLU programming language, clusters, polymorphism, exception handling, iterators, implementation inheritance, type hierarchies, the Liskov Substitution Principle, polymorphism, and future challenges such as new abstractions, parallelism, and the Internet.

Bio

Barbara Liskov is an Institute Professor and head of the Programming Methodology Group. Liskov's research interests lie in programming methodology, programming languages and systems, and distributed computing. Liskov is a member of the National Academy of Engineering, and a fellow of the American Academy of Arts and Sciences, and the Association for Computer Machinery (ACM).

About the conference

Starting in 1986, OOPSLA Conference has proven to be the cradle of many techniques and methodologies that have become mainstream over the years: OOP, Patterns, AOP, XP, Unit Testing, UML, Wiki, and Refactoring. Gaining its prestige with 3 academic tracks, OOPSLA Conference has managed to attract researchers, educators and developers every year. The event is sponsored by ACM.

Recorded at:

Dec 23, 2009

This content is in the OOPSLA topic

Related Topics:

Hello stranger!

You need to Register an InfoQ account or or login to post comments. But there's so much more behind being registered.

Get the most out of the InfoQ experience.

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

Community comments

  • Great talk ...

    by Bedwyr Humphreys,

    Your message is awaiting moderation. Thank you for participating in the discussion.

    Never heard Liskov talk before, great presentation.

    Are the slides out of sync for any one else?

    Back to top
  • Re: Great talk ...

    by Diana Baciu,

    Your message is awaiting moderation. Thank you for participating in the discussion.

    Hello Bedwyr,

    I've taken a look at the presentation and there was a small timing error with two of the slides. i have now taken care of it.

    Diana (InfoQ)

    Back to top
  • Re: Great talk ...

    by Spooky Sleeper,

    Your message is awaiting moderation. Thank you for participating in the discussion.

    The slides are out of sync for most videos on Infoq...but it is not a big problem.

    And, yes! Great Presentation!

    Back to top
  • Great talk

    by Leandro Coutinho,

    Your message is awaiting moderation. Thank you for participating in the discussion.

    Great talk!

    "... programs fundamentally have to do with modifying state" I thought it very interesting.

    So she prefers static type checking. I really would like to know the benefits of dynamic type checking. This is not clear to me. :(

    Back to top
  • Re: Great talk ...

    by Kiran Kumar,

    Your message is awaiting moderation. Thank you for participating in the discussion.

    Can we download the slides?

    Kiran

    Back to top
  • Re: Great talk

    by Rhys Parsons,

    Your message is awaiting moderation. Thank you for participating in the discussion.

    I guess one of the benefits of dynamic typing is duck-typing. So, if two abstract data-types (A and B) declare method foo(a:Boolean):Boolean, both A and B can be used as arguments of a function that only require that the data-type implements the method foo. This would be a bit like A and B implementing the same interface, but without explicitly declaring it.

    This would be particularly useful if you couldn't change the definition of A and B at compile time, but you wanted to be able to call the same operations on them.

    Interestingly, MS have added a dynamic type to C# etc. This is really just a way of avoiding lots of ugly casts when using the introspection interfaces to create objects.

    Back to top
  • Re: Great talk ...

    by Gordon Milne,

    Your message is awaiting moderation. Thank you for participating in the discussion.

    The slides are available in PPT and PDF formats from her web page at www.pmg.csail.mit.edu/~liskov/

    Back to top

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

BT