A Discipline of Programming (Prentice-Hall Series in Automatic Computation)

Author: E. Dijkstra
Published: 1976-10-28

List price: $87.33
Our price: $78.59

Usually ships in 24 hours
As of: January 06th, 2009 10:27:10 AM

Customer comments on this selection.

Webmaster

How to loop.
This book shows by example that iterative algorithms can be derived - you don't need a lucky inspiration to discover them. If you have ever vacillated between putting something in the initialization or body of a loop; or written a loop that doesn't terminate in some cases; this will change your whole approach to coding.

Webmaster

excellent
This is an excellent book in reasoning about programs. It is fairly rigorous and requires a bit of math maturity, and the reader should be warned that formal methods of computer science have evolved quite a bit since 1976. By this I refer to axiomatic program verification and semantics. The key characteristic of this book is that it is built around discussing real world algorithms. This makes the practical consequences of the analysis more evident than in a typical textbook format.

Webmaster

Nice place to visit, wouldn't want to live there
I really wanted to get my hands on this book and now that i have (via interlibrary loan) i want to warn folks that this is not light reading. I found a majority of this book very boring and all but impenetrable. I like Dijkstra's English prose, but when he embarks on the math I wish he'd state the point of each set of formulae above them. It would have also helped if he stressed practical uses of his insights vis-a-vis an actual programming language. This "just shows how much I know" I'm sure, but I suspect many people will feel similarly. FYI: My background is Bachelor's in C.S. with a C.S. GPA of 3.87/4.0. A depressing indictment of U.S. education, Dijkstra would say :)

Webmaster

computer science classic
---

Coming from no less a person than Dijkstra, this book, though dated takes programming to a different level.

It blesses the discipline of programming with the mathematical formalism and begins to look at it as a piece of mathematics.

I picked this book while doing my CS undergraduate, and made me fall in love with CS, all over again.

It does NOT however talk much about programming techniques or methods! It looks at programs from as formal a view point as possible and builds a framework for constructing 'correct' programs..or more correctly a framework for 'proving the correctness' of a program. It takes you to the point of considering programs as poetry..

Its difficult to contemplate the application of the thoeries developed here into practice, though a lot of it is used in some form or the other, but nonetheless it makes an excellent reading.

I recommend it to anybody seriously interested in computer science .

Webmaster A book about reasoning
This is not only a book about programming, it is also a book about reasoning on programs, and even a book about reasoning. Treating a program as a formal object, the book discussed its meaning, how to reason about it, and even how to derive it. If you are not a hacker or do not want to be one, you will like this book, and highly possiblely you will read it many times.

Similar Listings

	The Science of Programming (Monographs in Computer Science)
	Algorithms + Data Structures = Programs (Prentice-Hall Series in Automatic Computation)
	Beautiful Code: Leading Programmers Explain How They Think (Theory in Practice (O'Reilly))
	Software Tools
	Programming Pearls (2nd Edition) (ACM Press)

Our Webmaster book picks:

Search the Webmaster Products Store