Program construction : calculating implementations from specifications

✍ Scribed by Roland C Backhouse

• Publisher: Wiley
• Year: 2003
• Tongue: English
• Leaves: 353
• Edition: 1
• Category: Library

✦ Synopsis

• Unique approach tackles what most books don't-why maths and logic are fundamental tools for a programmer
• This comprehensive guide is a balanced combination of mathematical theory and the practice of programming
• Straightforward presentation of construction principles inlcuding: assignment axiom, sequential composition, case analysis, use of invariants and bound functions
• Includes a wide range of entertaining and challenging examples and exercises

✦ Table of Contents

Content: A science of computing --
A searching problem and its solution --
Calculational proof --
Implementation issues --
Calculational logic: part 1 --
Number conversion --
Calculational logic: part 2 --
Maximum and minimum --
The assignment statement --
Sequential composition and conditional statements --
Quantifiers --
Inductive proofs and constructions --
Iteration --
Sorting and searching algorithms --
Remainder computation --
Cyclic codes.
Abstract: Unique approach tackles what most books don't-why maths and logic are fundamental tools for a programmer. This comprehensive guide is a balanced combination of mathematical theory and the practice of programming. Straightforward presentation of construction principles including: assignment axiom, sequential composition, case analysis, use of invariants and bound functions. Includes a wide range of entertaining and challenging examples and exercises