A discipline of programming by Edsger W. Dijkstra

A discipline of programming



Download eBook




A discipline of programming Edsger W. Dijkstra ebook
Publisher: Prentice Hall, Inc.
Format: djvu
Page: 232
ISBN: 013215871X, 9780132158718


Use a list: Code: (setq maxvector '( (2761.11 1898.11 0.0) (3761.12 1538.43 0.0) (4761.15 2598.58 0.0) ) ). Dijkstra - a Discipline of Programming. Programming is probably the greatest, and most criminally untapped teaching tool we have developed in the last century. But as Daylight argues in this fascinating historical account of the development of computer programming as a discipline in the 1950s and 60s, the real story is much more complicated. If you take a look at his “A Discipline of Programming” (which is admittedly not an easy sit for the general reader) you'll understand he's talking about “correct-by-construction” programming. And in fact, some of these disciplines are diametric. Language: English Released: 1976. Knowing that the details make the product itself. What I write about computer programming applies to other fields of problem solving, such as engineering and mathematics. That being said, to continue with jslade's analogy, there are different disciplines in programming (just as there are in ninjutsu, and in sports). Dijkstra introduces a function called wp for "weakest precondition". As long as I have been programming (about 35 years now) a common, recurring, and never ending discussion though is how to categorize programming as a discipline. Http://www.amazon.com/Category-Computer-Scientists-Foundations-Computing/dp/0262660717. For further details, see Dijkstra's book "A Discipline of Programming". People often use this as an example to show that Dijkstra was excessively doctrinaire, and out of touch with the reality of programming, but usually it's because they don't know what his argument was. I wrote a response, explaining where Dijkstra was coming from, and I am very happy with how it . GO A discipline of programming. Http://www.amazon.com/Discipline-Programming-Edsger-W-Dijkstra/dp/013215871X.