结构化程序设计
Structured Programming
O. Dahl、Edsger Dijkstra、C. A. R. Hoare · 初版 1972 年
3人推荐
11位读者提及
12次提及
为什么值得读
- 深入锻炼并提升写代码时的程序逻辑推理能力
- 阐述每个函数皆可独立验证的核心程序模型思想
- 戴克斯特拉等先驱合撰，展现清晰的系统构建法
Hacker News 上怎么说
正在加载完整评论……
Structured Programming
O. Dahl、Edsger Dijkstra、C. A. R. Hoare · 初版 1972 年
正在加载完整评论……
可以试试 Edsger Dijkstra 的《A Discipline of Programming》和《Structured Programming》（第二本是与 C. A. R. Hoare 和 Ole-Johan Dahl 合著的）。还有 Niklaus Wirth 的《Project Oberon》，它展示了怎样把事情做得既出色又清晰。还有 SICP 和《How to Solve it》，因为……
Try "A Discipline of Programming" and "Structured Programming" by Edsger Dijkstra (the second with co-authors C. A. R. Hoare & Ole-Johan Dahl). Also, Project Oberon by Niklaus Wirth, for showing how it can be done well and clearly. SICP and How to Solve it, as…
去读读 Dijkstra 的《Structured Programming》吧，它能提升你的编程推理能力。
read Dijkstra's "Structured Programming". it will improve your programming reasoning.
……在这方面的努力，因为每个函数都可以被单独验证。值得一提的是，Dafny 在我们之前就意识到了这一点，而我们能找到的最早对此做出清晰阐述的，是 Dijkstra 的《Notes on Structured Programming》中“On a Program Model”这一章。你读完可能会觉得很有启发。我不是 Clang/GCC 以及 C 和 C++ 新注解语法方面的专家，但据我所见，它还不够通用，无法……
…efforts in this area, because every function can be verified by itself. Notably, Dafny recognised this point before us, and the earliest clear statement we can find regarding it is in Dijkstra's "Notes on Structured Programming", in his chapter "On a Program Model". You may find that illuminating read. I'm no expert on Clang/GCC and the new annotation syntax for C and C++, but from what I've seen it's not general enough for…
我当年的本科毕业论文（1974年）导师是 Barbara Liskov 博士，她当时正在设计 CLU，后来这成了一门极具影响力的研究型语言。她让我做的第一件事，就是去读 Dahl、Dijkstra 和 Hoare 写的一本小书《Structured Programming》。她特别希望我去读 Dahl 写的关于 Simula-67 的那一章。Simula 对现代编程语言的发展做出了重大贡献，通过 Simula……
My undergraduate thesis (1974) advisor was Dr. Barbara Liskov who was designing CLU, which became a very influential research language. The first thing she told me to do was to read a small book, Structured Programming by Dahl, Dijkstra, and Hoare. She particularly wanted me to read the chapter by Dahl on Sumula-67. Simula was an important contribution to the development of modern programming languages, by way of Sumula…
……Smalltalk。Barbara Liskov 在 1973 年借给我一本书，里面有相关的介绍，并建议我在开始参与 CLU 编译器设计的一小部分工作之前，先去读读关于 Simula 67 的内容。我记得那本书是 Dijkstra、Hoare 和 Dahl 写的《Structured Programming》，里面有一章是 Dahl 介绍 Simula 67 的。
…Smalltalk. Barbara Liskov lent me a book that described it in 1973 and recommended that I read about Simula 67 before starting to work on a small part of the the CLU compiler design. I believe the book was Structured Programming by Dijkstra, Hoare, and Dahl. It had a chapter by Dahl describing Simula 67.
……忍不住想回复，但我缓了缓，随后意识到你就是前几天在 Crappy Programmer 帖子里跟我“辩论”的同一个人。你当时把 Edsger Wybe Dijkstra 的成果（Structured Programming）称为“弱智玩意儿”，还自以为知道我是怎么想的（其中还包含了“擦边”的人身攻击）。我在这儿回复了你的上一条帖子 http://news.ycombinator.com/item?id=83191，但你一直没回信……
…compelled to respond that I slowed down and then realized that you are the same person I "debated" with just the other day in the Crappy Programmer thread. You referred to the work of Edsger Wybe Dijkstra (Structured Programming) as "idiocy" and presumed to know what I thought (which included a "borderline" personal attack). I responded to your last post here http://news.ycombinator.com/item?id=83191 but never heard from you…