Program Construction: Calculating Implementations from Specifications

✍ Scribed by Roland Backhouse

• Publisher: John Wiley & Sons, Ltd
• 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 programmerThis comprehensive guide is a balanced combination of mathematical theory and the practice of programmingStraightforward presentation of construction principles inlcuding: assignment axiom, sequential composition, case analysis, use of invariants and bound functionsIncludes a wide range of entertaining and challenging examples and exercises

✦ Table of Contents

Table of Contents
......Page 6
Preface
......Page 10
1: A Science of Computing
......Page 14
2: A Searching Problem and Its Solution
......Page 22
3: Calculational Proof
......Page 36
4: Implementation Issues
......Page 54
5: Calculational Logic: Part 1
......Page 66
6: Number Conversion
......Page 84
7: Calculational Logic: Part 2
......Page 96
8: Maximum and Minimum
......Page 110
9: The Assignment Statement
......Page 118
10: Sequential Composition and Conditional Statements
......Page 134
11: Quantifiers
......Page 150
12: Inductive Proofs and Constructions
......Page 178
13: Iteration
......Page 196
14: Sorting and Searching Algorithms
......Page 210
15: Remainder Computation
......Page 228
16: Cyclic Codes
......Page 254
Appendix......Page 268
Solutions to Exercises
......Page 276
Referencess......Page 344
Glossary of Symbols
......Page 346
Index......Page 348