Site operation discussions
Ralph Johnson posted the list of papers that Liskov mentioned as having influence her.
A good place to start as any, I'd say.
The first paper, or at least the way it was presented, caught my eye:
Djikstra [sic] - "Goto Statement Considered harmful" - which raised the innovative claim that programs ought to be easy to reason about, and language elements that made them hard to reason about were bad
Surely, I thought, several people on the Algol 60 committee cared about this, and wasn't McCarthy's case for lexical scope based on such grounds? But I'm damned if I can find sources for this.
The Landin/Strachey/Scott crowd were, of course, very much concerned with the meaning of programs, and one of the advantages Strachey claimed for formal semantics of programming languages is that it offered the programmer a basis for reasoning about their own code. But I get the sense that Dijkstra's concern was a little different, and less focussed on formalism.
It sounds like earlier work was focused on making it possible to reason about code, but Dijkstra wanted it to be easy. A matter of UI, really.
(Some of these are behind the ACM's paywall. Sorry, but I was mostly pulling these together for my own use, and I have a subscription, so I didn't want to spend the time to dig down other versions.)
Thanks. Locating the LtU discussions on the papers (I think we discussed most, but not all of them), would be nice. Some are pretty hard to find, but I remember that they were mentioned here.
The slides from her talk is available from her website. PDF
Video for OOPSLA Keynote: The Power Of Abstraction is available now.
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.