Skip to content
{ 2013 03 08 }

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 on Friday, March 8, 2013, at 11:11 am. Filed under code-level, documentation, OOP, software-engineering, Talk. Follow any responses to this post with its comments RSS feed. Both comments and trackbacks are currently closed.

{ 2 } Trackbacks

  1. QCon 2013 keynote by Barbara Liskov | EkartCo Information Consultants | March 9, 2013 at 12:42 pm | Permalink

    […] 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. […]

  2. Michael Tsai - Blog - Abstract Data Types | March 14, 2013 at 7:34 pm | Permalink

    […] Graham Cox: […]