A discipline of programming by Edsger W. Dijkstra

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

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. Use a list: Code: (setq maxvector '( (2761.11 1898.11 0.0) (3761.12 1538.43 0.0) (4761.15 2598.58 0.0) ) ). Dijkstra - a Discipline of Programming. That being said, to continue with jslade's analogy, there are different disciplines in programming (just as there are in ninjutsu, and in sports). 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). 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. Thus, orthogonality is an important mathematical discipline intrinsic to the specification of recursive functions that is naturally applied in functional programming and specification. And in fact, some of these disciplines are diametric. Http://www.amazon.com/Category-Computer-Scientists-Foundations-Computing/dp/0262660717. Http://www.amazon.com/Discipline-Programming-Edsger-W-Dijkstra/dp/013215871X.