A discipline of programming. Edsger W. Dijkstra

A discipline of programming


A.discipline.of.programming.pdf
ISBN: 013215871X,9780132158718 | 232 pages | 6 Mb


Download A discipline of programming



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




Programming is probably the greatest, and most criminally untapped teaching tool we have developed in the last century. Web Design is sometimes described as a purely programming discipline with graphics tacked on the front, but this is not correct because the web is a visual medium. I think "A Discipline of Programming", " Formal Development of Programs and Proofs" or "A Method of Programming" by Edsger W. In fact, Dijkstra should go at the top, followed by Knuth. I think for some reason computer programming is often miscategorized as a discipline to study or a class to take that's only relevant for aspiring software engineers. 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. Proposals will be considered in any arts discipline, including but not limited to: the performing arts, the visual arts, multimedia arts programs, and conferences or symposia that incorporate arts elements. Many complex models attempt to deal with the deadlock problem—with backoff-and-retry protocols, for example—but they require strict discipline by programmers, and some introduce their own problems (e.g., livelock). 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. Dijkstra should be included here. The reaction of these teams suggested their levels of discipline with various practices. 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. This can be overcome with at least a little thought to organization and putting in good comments, but that takes a discipline that many programmers fail to appreciate. Today, I presented a position paper entitled “Programming Can Deepen Understanding Across Disciplines”.