Predicate Transformer Semantics (Cambridge Tracts in Theoretical Computer Science) 1st Edition by Manes, Ernest. G. published by Cambridge University Press

Cambridge Tracts in Theoretical Computer Science

by Ernest G. Manes

A central problem in the design of programming systems is to provide methods for verifying that computer code performs to specification. This book presents a rigorous foundation for defining Boolean categories, in which the relationship between specification and behaviour can be explored. Boolean categories provide a rich interface between program constructs and techniques familiar from algebra, for instance matrix- or ideal- theoretic methods. The book is based in part on courses taught by the author, and will appeal to graduate students and researchers in theoretical computer science. 1. Finite coproducts; 2. Structure of a Boolean category; 3. Metatheory; 4. Distributive categories; Bibliography; Index.

Paperback

First published August 28, 1992

Reviews

[Carter · Rating 3 out of 5]

I only skimmed this title to get a sense of what it was about. Seems to be a book on boolean categories(categories as in category theory) more so than a book on predicate transformers so the title is a bit misleading. Since I was interested in the notion of predicate transformers (there is one chapter that mentions Hoare Logic) I was a bit disappointed. Fortunately it didn't cost me much.