BT

InfoQ Homepage Presentations OOPSLA Keynote: The Power Of Abstraction

OOPSLA Keynote: The Power Of Abstraction

Bookmarks

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

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?

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

  • 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!

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

  • Re: Great talk ...

    by Kiran Kumar /

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

    Can we download the slides?

    Kiran

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

  • 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/

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

Is your profile up-to-date? Please take a moment to review and update.

Note: If updating/changing your email, a validation request will be sent

Company name:
Company role:
Company size:
Country/Zone:
State/Province/Region:
You will be sent an email to validate the new email address. This pop-up will close itself in a few moments.