程序开发中的抽象与规约
Abstraction and specification in program development
Barbara Liskov
- 7次提及
- 4人推荐
- 5位 HN 评论者
简介
这似乎是 https://openlibrary.org/works/OL5106017W/Abstraction_and_specification_in_program_development 的重复条目（很可能是由导入程序生成的）。此外，由于 MIT Press 可能并没有两个具有相似/完全相同标识符的版本，这些版本似乎也是重复的。
Hacker News 读者推荐
……《Literate Programming》；Glenn Krasner（编），《Smalltalk-80: Bits of History, Words of Advice》；Susan Lammers，《Programmers at Work》；Wm Leler，《Constraint Programming Languages》；Liskov 与 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》……
binomial 在 HN 的推荐
……现在有了更好的算法入门书。但以下大概是我读过后彻底改变了我编程水平的前 5 本书。Brodie 的《Thinking Forth》；Sedgewick 的《Algorithms》；Abelson & Sussman 的《SICP》；Liskov & Guttag 的《Abstraction and Specification in Program Development》；Norvig 的《PAIP》。只挑 5 本真挺难的！
abecedarius 在 HN 的推荐
这本书出自伟大的 Barbara Liskov 本人之手（https://en.wikipedia.org/wiki/Barbara_Liskov），她是抽象数据类型（Abstract Data Types）、子类型（Subtyping）、面向对象设计（OOD）等领域的先驱。这基本上是把他们 1986 年的经典教材《Abstraction and Specification in Program Development》重写了一遍，示例语言改成了 Java。它不是那种随处可见的入门 cookbook，而是一本需要静心深研的基础编程概念书。强烈推荐。
rramadass 在 HN 的推荐
找书
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。