结构化程序设计

Hacker News 读者推荐

可以试试 Edsger Dijkstra 的《A Discipline of Programming》和《Structured Programming》（第二本是与 C. A. R. Hoare 和 Ole-Johan Dahl 合著的）。还有 Niklaus Wirth 的《Project Oberon》，它展示了怎样把事情做得既出色又清晰。还有 SICP 和《How to Solve it》，因为……

MaysonL 在 HN 的推荐

去读读 Dijkstra 的《Structured Programming》吧，它能提升你的编程推理能力。

danoloan 在 HN 的推荐

……在这方面的努力，因为每个函数都可以被单独验证。值得一提的是，Dafny 在我们之前就意识到了这一点，而我们能找到的最早对此做出清晰阐述的，是 Dijkstra 的《Notes on Structured Programming》中“On a Program Model”这一章。你读完可能会觉得很有启发。我不是 Clang/GCC 以及 C 和 C++ 新注解语法方面的专家，但据我所见，它还不够通用，无法……

akiarie 在 HN 的推荐

找书

豆瓣 微信读书 京东 Open Library

在黑客书架打开完整页面 →

数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。