Mon premier blog

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

According to Dijkstra's experience, described in chapter "The problem of next permutation" of "A Discipline of Programming", the separation of code and data is essential for clarity. Dijkstra : I liked Test-Driven Development a lot more when it was called Correctness by Construction. It matters because ultimately writing code is about discipline and details. Http://www.amazon.com/Category-Computer-Scientists-Foundations-Computing/dp/0262660717. Murnane, 1993) most research about the cognitive effects of computer programming seemed to have focused on programming as a problem solving rather than a linguistic activity. What I write about computer programming applies to other fields of problem solving, such as engineering and mathematics. With a few notable exceptions (e.g. Thus, orthogonality is an important mathematical discipline intrinsic to the specification of recursive functions that is naturally applied in functional programming and specification. If computer languages were To write a decent program, you have to discipline your brain *far* more than you would need with any language (because, let's face it, other people are forgiving but compilers or computers are not). Dijkstra - a Discipline of Programming. Does it really matter what the code looks like? A perfect programmer knows everything there is to know about everything: this is nirvana: it allows us to solve any problem perfectly. They rarely look outside the code directly affecting their work. The short answer is an emphatic 'yes'. Http://www.amazon.com/Discipline-Programming-Edsger-W-Dijkstra/dp/013215871X. 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. Knowing that the details make the product itself. For a long time I thought that Dijkstra's 1976 book “A Discipline of Programming” was a preview of the promised land by showing how to do this, not with assertions, but with guarded commands and weakest preconditions. A Discipline of Programming, E.W.