A method of programming

Mentions per year

What Hacker News says

• rramadass · Jul 14, 2021 · Recommends

  >Anyone that wants to learn more on the subject of deriving programs should read Two more; * EWD316 - A Short Introduction to the Art of Programming. * A Method of Programming - Book co-authored with W.H.J.Feijen. For some reason, this is not well known though it was written as a course textbook. Draft version here: https://www.softwareresearch.net/fileadmin/src/docs/teaching...

  on “A commemoration of Edsger Dijkstra [pdf]” ↗
• rramadass · Sep 10, 2022 · Recommends

  You must surely then get his (with Feijen) book A Method of Programming. It is designed for classroom use targeted at a "introductory programming curriculum".

  on “Ask HN: Which books do you consider real gems in your field of work/study?” ↗
• jonjacky · Jul 29, 2015 · Recommends

  …get past Dijkstra's arrogance and abrasive presentation, he actually has some useful things to teach. If you look at one of the books where he and his colleagues teach how to do this (for example, A Method of Programming, by Dijkstra and Fiejen) it's pretty clear that the programmer him(her)self is supposed to come up with the formal specification. Much of the book is about how to write the specifications. The formal…

  on “On the cruelty of really teaching computer science (1988)” ↗
• rramadass · Aug 7, 2023 · Recommends

  …is essential even if we cannot follow his methods to the letter. The key is to improve our own thinking and adopt better and more productive work-habits. You might also want to checkout Dijkstra's A Method of Programming and Wirth's Systematic Programming: An Introduction.

  on “Edsger Dijkstra’s One-Day Workweek” ↗