The Science of Programming

by David Gries

Describes basic programming principles and their step-by- step applications.Numerous examples are included.

Genres: Computer Science, Programming, Computers, Technology, Software, Science

Paperback

First published January 1, 1981

Reviews

[Ushan · Rating 2 out of 5]

One of the first books, along with late Edsger Dijkstra's A Discipline of Programming, to point out the importance of proofs of program correctness. Unfortunately, as I read it I remembered various projects I have worked on, where the specification was at least as complicated as the code itself: maintaining it would have been even worse than maintaining the code.

[Carter · Rating 3 out of 5]

Good book covering the basics of the formalism underlying programming languages. Although you can probably find most of the content in other books on program semantics. It particulary discusses in detail Hoare Logic.

[Nadim · Rating 4 out of 5]

One of those texts that transformed programming from a possibly hit and miss affair to a science.

[Anubhav · Rating 5 out of 5]

This book is really the gem of it. The deep insights, the mind boggling questions and the puzzles given in the book really helped a lot.