## Program Construction and Verification |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

Preface | 9 |

O A SCIENCE OF COMPUTING | 11 |

THE PROPOSITIONAL CALCULUS | 14 |

Copyright | |

8 other sections not shown

### Common terms and phrases

algorithm argument array aſi aſil aſk assignment assignment axiom Assume begin bound called cards casket chapter color(i compute conclusion condition consequence consider Construct containing correctness deck defined definition denote describes determine discussed disk distributivity elements empty equal equivalent example executed Exercises expression false final formal function given gold guarantee heap Hence implication induction initial integer invariant involve length logical loop meaning middle move n+(n node Note obtain occurrences operators path points polynomial positive possible postcondition precondition predicate premise present problem proof proposition prove quantifier range remainder rule satisfying segment sequential composition Show shown simple simplifies solution specification split square statement step Suppose termination true truth table valid variables Variant verification wb(S wo(S

### References to this book

Logic in Computer Science: Modelling and Reasoning about Systems Michael Huth,Mark Ryan No preview available - 2004 |

Algebraic Semantics of Imperative Programs Joseph A. Goguen,Joseph Goguen,Grant Malcolm Limited preview - 1996 |