Structure and Interpretation of Computer Programmers

I make it easier and faster for you to write high-quality software.

Friday, March 8, 2013

The Liskov Citation Principle

In her keynote speech at QCon London 2013 on The Power of Abstraction, Barbara Liskov referred to several papers contemporary with her work on abstract data types. I’ve collected these references and found links to free copies of the articles where available.

Dijkstra 1968 Go To statement considered harmful

Wirth 1971 Program development by stepwise refinement

Parnas 1971 Information distribution aspects of design methodology

Liskov 1972 A design methodology for reliable software systems

Schuman and Jorrand 1970 Definition mechanisms in extensible programming languages
Not apparently available online for free

Balzer 1967 Dataless Programming

Dahl and Hoare 1972 Hierarchical program structures
Not apparently available online for free

Morris 1973 Protection in programming languages

Liskov and Zilles 1974 Programming with abstract data types

Liskov 1987 Data abstraction and hierarchy

posted by Graham at 11:11  


  1. […] Specifically, her work on CLU, a research programming language, with its concepts of inheritance, polymorphism, iterators, multiple return values, explicit type casting and exception handling have influenced the development of OOP and popular languages like Java and Python amongst others. Graham Lee has collected all documents referenced in the talk in his post. […]

    Pingback by QCon 2013 keynote by Barbara Liskov | EkartCo Information Consultants — 2013-03-09 @ 12:42

  2. […] Graham Cox: […]

    Pingback by Michael Tsai - Blog - Abstract Data Types — 2013-03-14 @ 19:34

RSS feed for comments on this post.

Sorry, the comment form is closed at this time.

Powered by WordPress