A discipline of programming by Edsger W. Dijkstra

A discipline of programming



Download eBook




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


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 . 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. As a result Alistair sees Crystal as requiring less discipline than extreme programming, trading off less efficiency for a greater habitability and reduced chances of failure. Abstract for Haskellers: This is a long, involved defense of purity, both in terms of what it affords us in terms of power and in how it enforces “good” programming practices. Programming is a discipline, a discipline that is often undermined and taken lightly. Dijkstra introduces a function called wp for "weakest precondition". Edsger Dijkstra introduced this sequence to computer science in his book A Discipline of Programming, and it has been a staple of beginning programming courses ever since. Dijkstra wrote a program based on three axioms:. For further details, see Dijkstra's book "A Discipline of Programming". What I write about computer programming applies to other fields of problem solving, such as engineering and mathematics.