25 of 28 people found the following review helpful
5.0 out of 5 stars
computer science classic, Sep 26 2001
By Ganapathy Subramaniam - Published on Amazon.com
This review is from: A Discipline of Programming (Paperback)
---
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 .
14 of 17 people found the following review helpful
5.0 out of 5 stars
The finest book that I own., July 31 1998
By A Customer - Published on Amazon.com
This review is from: A Discipline of Programming (Paperback)
I purchased A Discipline Of Programming about fifteen years ago, at the start of my programming career. It remains the most important programming book that I own, and possibly the most important book of any kind. Anyone who aspires to be a programmer should spend many hours reading it. It is impossible not to benefit hugely.
The (unnamed) language invented by Dijkstra, almost as an aside in the early chapters of the book, is the language in which I would most like to write my programs. Some day perhaps I will be able to.
9 of 11 people found the following review helpful
5.0 out of 5 stars
A book about reasoning, Sep 27 2000
By Hai Zhou - Published on Amazon.com
This review is from: A Discipline of Programming (Paperback)
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.