A discipline of programming. Edsger W. Dijkstra

A discipline of programming

ISBN: 013215871X,9780132158718 | 232 pages | 6 Mb

Download A discipline of programming

A discipline of programming Edsger W. Dijkstra
Publisher: Prentice Hall, Inc.

Although programming is a discipline with a very large canon of existing work to draw from, the only code most programmers read is the code they maintain. It is well known that programmers generally abhor organization and discipline. I think there are a large number of people in the JAP category who are there because programming is considered a discipline unto itself, with its own career path. I wrote a response, explaining where Dijkstra was coming from, and I am very happy with how it . They rarely look outside the code directly affecting their work. For further details, see Dijkstra's book "A Discipline of Programming". That's the person who wants to learn programming as a discipline, and to get more out of his computer, or perhaps because he likes a challenge (but not the hobbyist's kind). Thus, orthogonality is an important mathematical discipline intrinsic to the specification of recursive functions that is naturally applied in functional programming and specification. Their desks are often littered with stacks of paper and other debris. The most common excuse is that "a cluttered desk is a sign of a brilliant mind. But it by no means suggests that in order to be a great designer you must also be a great programmer. It's also a discipline which, like martial arts, changes fundamentally the way you see the universe, once you get far enough in and become advanced enough. 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. Dijkstra introduces a function called wp for "weakest precondition". Dijkstra : I liked Test-Driven Development a lot more when it was called Correctness by Construction. Instead, game design has emerged as its own distinct discipline. A Discipline of Programming, E.W.