
Abstraction and specification in program development
7mentions
4recommended by
5HN commenters
2010–2023first – last mentioned
80% recommend20% neutral
This seems to be a duplicate entry of https://openlibrary.org/works/OL5106017W/Abstraction_and_specification_in_program_development (likely produced by an importer). Also, the editions seem to be duplications, as there might not be two editions with similar/identical identifiers by MIT press.
Affiliate links. As an Amazon Associate I earn from qualifying purchases.








…Literate Programming Glenn Krasner (editor), Smalltalk-80: Bits of History, Words of Advice Susan Lammers, Programmers at Work Wm Leler, Constraint Programming Languages Liskov and Guttag, Abstraction and Specification in Program Development Peter Norvig, Paradigms of Artificial Intelligence Programming Chris Okasaki, Purely Functional Data Structures Richard O'Keefe, The Craft of Prolog P. J. Plauger, Programming on Purpose…
on “Which programming book you just couldn’t stop reading from start to end?” ↗…better intros to algorithms now. But here's an approximate top 5 for changing my programming when I read them. Brodie, Thinking Forth Sedgewick, Algorithms Abelson & Sussman, SICP Liskov & Guttag, Abstraction and Specification in Program Development Norvig, PAIP It's hard to stick to 5!
on “The Programming Books That Meant The Most To Me” ↗The book is by the great Barbara Liskov herself (https://en.wikipedia.org/wiki/Barbara_Liskov) the pioneer of Abstract Data Types, Subtyping, OOD etc. It is basically a rewrite of their classic text Abstraction and Specification in Program Development (1986) with the example language now being Java. It is not a popular cookbook but a fundamental programming concepts book which needs serious study. I highly recommend it.
on “Object-oriented Programming with ANSI-C (1993) [pdf]” ↗Thinking Forth; Software Tools; SICP; Abstraction and Specification in Program Development; Essentials of Programming Languages; Paradigms of AI Programming; I'd like to list something about OO too, but no book I know really measures up to learning from other programmers. But there's Mark S.…
on “Ask HN: What books had the greatest effect on how you structure your code?” ↗…sound exactly right for you, but here are a couple I like that are relevant. You might find them kind of advanced right now: * Chapter 3 of http://mitpress.mit.edu/sicp/ -- also chapters 1 and 2. * _Abstraction and Specification in Program Development_, on design by contract. There's a newer book by the same authors, _Program Development in Java_, but Norman Ramsey says it's not as good. (I've only read the older one.) By Liskov & Guttag. Focuses on…
on “ Ask HN: What are some good books for understanding OOP? ” ↗…concurrency, NLP, programming language design, hardware design, computer architecture, software engineering, program verification, security, databases, computer graphics, computer history? Probably not. Read : Abstraction and Specification in Program Development, then read all four volumes of Knuth's Art of Computer Programming. There are lots of courses on EdX, and MIT Open courseware. Undergraduate CS is just the start, a tiny beginning. The university is…
on “Ask HN: How do I survive college? (Is there any other way?)” ↗In my question ASPD stands for "Abstraction and Specification in Program Development". I am certain there are ideas in that book which are still relevant today, but since I am self learning, I am afraid I won't be able to discern the good ideas from the outdated ones. Is it worth my…
on “Ask HN: Is reading ASPD by liskov and guttag worth it in 2019?” ↗