Programs, Recursion and Unbounded Choice

by Wim H. Hesselink

Book Overview

This book is a complete account of the predicate transformation calculus semantics of sequential programs, including repetitions, recursive procedures, computational induction and unbounded nondeterminacy. Predicate transformation semantics are the best specification method for the development of correct and well-structured computer programs. The author develops this theory to a greater depth than has been achieved before, and describes it in a way...

• Format: Paperback
• Language: English
• ISBN: 0521018293
• ISBN13: 9780521018296
• Release Date: August 2005
• Publisher: Cambridge University Press
• Length: 240 Pages
• Weight: 0.86 lbs.
• Dimensions: 0.5" x 6.7" x 9.6"