程序开发中的抽象与规约
Abstraction and specification in program development
Barbara Liskov
4人推荐
5位读者提及
7次提及
这似乎是 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》……
…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…
……现在有了更好的算法入门书。但以下大概是我读过后彻底改变了我编程水平的前 5 本书。Brodie 的《Thinking Forth》；Sedgewick 的《Algorithms》；Abelson & Sussman 的《SICP》；Liskov & Guttag 的《Abstraction and Specification in Program Development》；Norvig 的《PAIP》。只挑 5 本真挺难的！
…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!
这本书出自伟大的 Barbara Liskov 本人之手（https://en.wikipedia.org/wiki/Barbara_Liskov），她是抽象数据类型（Abstract Data Types）、子类型（Subtyping）、面向对象设计（OOD）等领域的先驱。这基本上是把他们 1986 年的经典教材《Abstraction and Specification in Program Development》重写了一遍，示例语言改成了 Java。它不是那种随处可见的入门 cookbook，而是一本需要静心深研的基础编程概念书。强烈推荐。
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.
《Thinking Forth》；《Software Tools》；《SICP》；《Abstraction and Specification in Program Development》；《Essentials of Programming Languages》；《Paradigms of AI Programming》；我也想列几本关于面向对象（OO）的书，但在我看来没有任何一本书比得上直接向其他优秀程序员学习。不过有 Mark S.……
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.…
……可能并不完全适合你，但这里有几本我觉得很不错且相关的书。你现在看可能会觉得有点深奥：* http://mitpress.mit.edu/sicp/ 的第 3 章——第 1、2 章也可以看。* 《Abstraction and Specification in Program Development》，关于契约式设计（design by contract）的。同一批作者后来出过一本更新的书《Program Development in Java》，但 Norman Ramsey 说新版不如老版好。（我只读过老版。）Liskov & Guttag 著。重点讨论……
…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…
……并发、NLP、编程语言设计、硬件设计、计算机体系结构、软件工程、程序验证、安全、数据库、计算机图形学、计算机历史？大概率不能。去读读《Abstraction and Specification in Program Development》，然后再把 Knuth 的四卷《计算机程序设计艺术》（Art of Computer Programming）通读一遍。EdX 和 MIT OpenCourseWare 上有海量课程。本科 CS 专业只是起步，微不足道的开端而已。大学……
…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…