Program Construction: Calculating Implementations from Specifications 1st Edition by Roland Backhouse (PDF)

Description

Most texts on logic or discrete math fail to show why math and logic are fundamental tools for programmers. Program Construction illustrates the importance of math and logic to programming, providing a complete, self-contained account of the principles of logical reasoning. Designed specifically so users can construct programs that meet their specifications, the book details program construction principles in a straightforward fashion, avoiding overly complicated theory, and then illustrating each with convincing examples.

User’s Reviews

Editorial Reviews: From the Inside Flap The ever-increasing dependence of our lives and livelihoods on the correct functioning of computer software means that logic and program correctness are core elements of all good computer science degrees. This book presents both these topics in one self-contained text. The focus of the book is on “correct-by-construction” program design — the discipline of calculating programs from their specifications. Modern, calculational logic is introduced in combination with key program construction principles, such as the assignment axiom, loop invariants and bound functions. This material is intertwined with motivational discussion, programming examples and challenging problem-solving exercises, bringing the book alive for its intended audience, undergraduates in computer science and mathematics, as well as professional programmers wishing to further develop their programming skills. The book covers the elements of logic and program correctness that form the foundations of further study — the logical connectives and their algebraic properties, induction, quantifiers and program construction rules. Substantial examples of program construction are included. Many exercises are provided, all with detailed solutions. From the Back Cover The ever-increasing dependence of our lives and livelihoods on the correct functioning of computer software means that logic and program correctness are core elements of all good computer science degrees. This book presents both these topics in one self-contained text. The focus of the book is on “correct-by-construction” program design — the discipline of calculating programs from their specifications. Modern, calculational logic is introduced in combination with key program construction principles, such as the assignment axiom, loop invariants and bound functions. This material is intertwined with motivational discussion, programming examples and challenging problem-solving exercises, bringing the book alive for its intended audience, undergraduates in computer science and mathematics, as well as professional programmers wishing to further develop their programming skills. The book covers the elements of logic and program correctness that form the foundations of further study — the logical connectives and their algebraic properties, induction, quantifiers and program construction rules. Substantial examples of program construction are included. Many exercises are provided, all with detailed solutions. About the Author Roland Backhouse leads the Foundations of Programming research group at the University of Nottingham. He returned to the UK in 1999 after spending 13 years in the Netherlands, 9 of which as professor at Eindhoven University of Technology (the institution that pioneered the style of reasoning and construction of programs that forms the basis for this book). Read more

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

⭐What if you could build programs that were mathematically proven to be correct? As Djikstra said, “Program testing can be used to show the presence of bugs, but never show their absence”. The alternative, presented well here by Roland, is to build applications based on algorithms and proofs that can be shown mathematically to be error free.It’s an interesting concept. And Roland does a good job of pitching the idea in the first two chapter and then running through the fundamental mathematical examples. Of course, proofs and equations fill every page. All of the code is in pseudo code. Illustrations are kept to a minumum, but are used effectively when they are present.The fault I find in the book is with the subtitle; “Calculation Implementations from Specifications”. To me this says that book will get into real world applications. Like how to prove a database form is without error. But the book doesn’t get close to that. In fact, as I could see, it doesn’t address that level of issue at all. All of the content is in the area of proving mathematical systems. About the most practical it gets is in sorting.

⭐

Keywords

Free Download Program Construction: Calculating Implementations from Specifications 1st Edition in PDF format
Program Construction: Calculating Implementations from Specifications 1st Edition PDF Free Download
Download Program Construction: Calculating Implementations from Specifications 1st Edition 2003 PDF Free
Program Construction: Calculating Implementations from Specifications 1st Edition 2003 PDF Free Download
Download Program Construction: Calculating Implementations from Specifications 1st Edition PDF
Free Download Ebook Program Construction: Calculating Implementations from Specifications 1st Edition