The science of programming.
Publisher: Springer-Verlag
Published: 1981
Place of publication: New York
Language: eng
Number of pages: 366
Subjects: Electronic digital computers -- Programming.
Table of contents: title: Forward
pagenum: v; title: Preface
pagenum: vii; title: Table of Contents
pagenum: xiii; label: 0
title: Why Use Logic?  Why Prove Programs Correct?
pagenum: 1; label: I
title: Propositions and Predicates
pagenum: 7; label: 1
title: Propositions
pagenum: 8; label: 2
title: Reasoning using Equivalence Transformations
pagenum: 19; label: 3
title: A Natural Deduction System
pagenum: 28; label: 4
title: Predicates
pagenum: 66; label: 5
title: Notations and Conventions for Arrays
pagenum: 88; label: 6
title: Using Assertions to Document Programs
pagenum: 99; label: II
title: The Semantics of a Small Language
pagenum: 107; label: 7
title: The Predicate Transformer wp
pagenum: 108; label: 8
title: The Commands skip, abort and Composition
pagenum: 114; label: 9
title: The Assignment Command
pagenum: 117; label: 10
title: The Alternative Command
pagenum: 131; label: 11
title: The Iterative Command
pagenum: 138; label: 12
title: Procedure Call
pagenum: 149; label: III
title: The Development of Programs
pagenum: 163; label: 13
title: Introduction
pagenum: 163; label: 14
title: Programming as a Goal-Oriented Activity
pagenum: 172; label: 15
title: Developing Lops from Invariants and Bounds
pagenum: 179; label: 16
title: Developing Invariants
pagenum: 193; label: 17
title: Notes on Bound Functions
pagenum: 216; label: 18
title: Using Iteration Instead of Recursion
pagenum: 221; label: 19
title: Efficiency Considerations
pagenum: 237; label: 20
title: Two Larger Examples of Program Development
pagenum: 253; label: 21
title: Inverting Programs
pagenum: 265; label: 22
title: Notes on Documentation
pagenum: 275; label: 23
title: Historical Notes
pagenum: 294; label: 1
title: Backus-Naur From
pagenum: 304; label: 2
title: Sets, Sequences, Integers and Real Numbers
pagenum: 310; label: 3
title: relations and Functions
pagenum: 315; label: 4
title: Asymptotic Execution Time Properties
pagenum: 320; title: Answers to Exercises
pagenum: 323; title: References
pagenum: 355; title: Index
pagenum: 358