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
[…] 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
[…] Graham Cox: […]
Pingback by Michael Tsai - Blog - Abstract Data Types — 2013-03-14 @ 19:34