Mon premier blog

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

Thus the discipline of programming has become blurred. The next 10 weeks After dislocating my shoulder last week, you could say I was a tad bit hesitant to bench. 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. Their desks are often littered with stacks of paper and other debris. Perhaps a step back in In Problem Seeking , the classic quote and discipline separation was stated as "Programming is problem seeing, design is problem solving. Dijkstra introduces a function called wp for "weakest precondition". I wrote a response, explaining where Dijkstra was coming from, and I am very happy with how it . A Discipline of Multiprogramming: Programming Theory for Distributed Applications (Monographs in Computer Science) book download. 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. Thursday, 21 March 2013 at 17:50. As I recently noted, I'm making some shifts in my work so that I can focus more on some of these questions surrounding how do we create learning environments for non-programmers to learn programming. Thus, orthogonality is an important mathematical discipline intrinsic to the specification of recursive functions that is naturally applied in functional programming and specification. Likewise programming is nothing like testing either. Publisher: Prentice Hall | pages: 217 | 1976 | ISBN: 013215871X | PDF | 14,3 mb. For further details, see Dijkstra's book "A Discipline of Programming". It is well known that programmers generally abhor organization and discipline. Testing an application, particularly if it is user facing as most of my 3 decades of work has been, is a discipline all by itself. He begins by considering the questions, "What is an algorithm?" and "What are we doing when we program? The most common excuse is that "a cluttered desk is a sign of a brilliant mind.