Book contents
- Frontmatter
- Contents
- Preface
- Introduction
- Part I Finite Coproducts
- Part II Structure of a Boolean Category
- 4 The Axioms
- 5 The Boolean Algebra of Summands
- 6 Null and Total Morphisms
- 7 Preadditive Categories
- 8 Projections and Guards
- 9 Hoare Assertions and while-do
- 10 Predicate Transformers
- Part III Metatheory
- Part IV Distributive Categories
- Bibliography
- Index
10 - Predicate Transformers
Published online by Cambridge University Press: 06 January 2010
- Frontmatter
- Contents
- Preface
- Introduction
- Part I Finite Coproducts
- Part II Structure of a Boolean Category
- 4 The Axioms
- 5 The Boolean Algebra of Summands
- 6 Null and Total Morphisms
- 7 Preadditive Categories
- 8 Projections and Guards
- 9 Hoare Assertions and while-do
- 10 Predicate Transformers
- Part III Metatheory
- Part IV Distributive Categories
- Bibliography
- Index
- Type
- Chapter
- Information
- Predicate Transformer Semantics , pp. 131 - 145Publisher: Cambridge University PressPrint publication year: 1992