You are now in FULL VIEW
CLOSE FULL VIEW

OOPSLA Keynote: The Power Of Abstraction
Recorded at:

by Barbara Liskov on Dec 23, 2009 |

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).

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.

Related Editorial

Hello stranger!

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

Get the most out of the InfoQ experience.

Tell us what you think

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

Email me replies to any of my messages in this thread
Community comments

Great talk ... by Bedwyr Humphreys

Never heard Liskov talk before, great presentation.

Are the slides out of sync for any one else?

Re: Great talk ... by Diana Baciu

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)

Re: Great talk ... by Spooky Sleeper

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

And, yes! Great Presentation!

Great talk by Leandro Coutinho

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. :(

Re: Great talk ... by Kiran Kumar

Can we download the slides?

Kiran

Re: Great talk by Rhys Parsons

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.

Re: Great talk ... by Gordon Milne

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

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

Email me replies to any of my messages in this thread

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

Email me replies to any of my messages in this thread

7 comments
General Feedback
Bugs
Advertising
Editorial
 InfoQ.com and all content copyright © 2006-2013 C4Media Inc. InfoQ.com hosted at Contegix, the best ISP we've ever worked with.
Privacy policy