The Science of Programming (Monographs in Computer Science) by David Gries (PDF)

Description

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

User’s Reviews

Reviews from Amazon users which were colected at the time this book was published on the website:

⭐Being asked to give this book a star rating is almost unfair. This book is foundational to the science of programming, and should be treated as foundational. Every serious programmer should own and read this book, to understand the base of the discipline. If you haven’t read this book, you probably aren’t actually a programmer.

⭐A whole new paradigm to develop programs.

⭐Excellent

⭐For a long time, I struggled with the correctness of my code.I have to admit I’m one of those guys who just wish my code would “somehow” work.If in a good day my code passed all tests, I would be “convinced” it’s correct.I haven’t realized how stupid that was until I came across this book.This book was written 25 years ago, however I still find the techniques quite advanced, the way it reasons about correctness quite profound.If you decide to pick up this book (yay!), a bit of advice:1. Don’t think it as “another” programming language book you can skim quickly, you really need to grasp the ideas behind those seemingly natural theorems & proofs.2. Prof. David Gries himself stressed a few times in the book that even attempting to prove some of the theorems would change the way you think. So make sure you solve the problems in the exercises, you’ll be surprised the concept is not as simple as it seems.3. Find a quiet spot 🙂 You probably don’t want to read this while on a bus or subway.Enjoy the journey!

⭐The book provides an excellent introduction to logic and then shows how by using the language of logic and mathematics to specify pre-conditions and post-conditions one can develop provably correct programs from these pre-conditions and post-conditions.I have used the methods in this book to develop advanced algorithms in Computer Graphics which could not have been developed in any other way.The book is both a tutorial and reference. It is clearly written and organized.When I first read this book, it was as though a bolt of lightning had struck me. Applying its methods, I became a much better programmer. I went from someone who struggled to get the code right to someone who always got the code right. For the first time I understood what programming was all about. I read the book on vacation while my wife and I were staying at my father’s home in Sag Harbor New York and it was one of the most incredible intellectual adventures of my life. I’ll never forget the smell of the sea and the sand and the logic going off like lightning flashes inside my brain.

⭐If you want to make a good programmer,you should study it. Many programmers just like programming , but they ignore how to verify their program is whether good enough or not.

⭐Simply put, a book that re-introduces the idea of program correctness over all else. An excellent source on program design & analysis, checking for correctness using a logic-based approach. A book that builds from the fundamentals. Not for those who are looking for quick fixes.

⭐David Gries’ Science of programming (SoP) has been a landmark for me as a young computer scientist and a young teacher. I bought it 35 years later for my a son, a young … and I could not help but read it again. SoP is a rose that never fades. Indeed, many new developments have occurred since SoP days, but nothing that simply replaces it. SoP has two reading levels: the technical level on weakest pre-conditions, and a methodological level on why using formal methods and how to use them. The technical level makes the body of the text, and the methodological level makes its soul, it animates the body. And I was really happy to see how apt these body and soul still are in 2021.

Keywords

Free Download The Science of Programming (Monographs in Computer Science) in PDF format
The Science of Programming (Monographs in Computer Science) PDF Free Download
Download The Science of Programming (Monographs in Computer Science) 1987 PDF Free
The Science of Programming (Monographs in Computer Science) 1987 PDF Free Download
Download The Science of Programming (Monographs in Computer Science) PDF
Free Download Ebook The Science of Programming (Monographs in Computer Science)