Predicate Transformer Semantics

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...

• Format: Paperback
• Language: English
• ISBN: 0521616107
• ISBN13: 9780521616102
• Release Date: December 2004
• Publisher: Cambridge University Press
• Length: 236 Pages
• Weight: 0.94 lbs.
• Dimensions: 0.5" x 7.4" x 9.7"