A Practical Theory of Programming

A Practical Theory of Programming
by Eric C.R. Hehner

Publisher: Springer 2006
ISBN/ASIN: 0387941061
ISBN-13: 9780387941066
Number of pages: 243

Description:
Understanding programming and programming languages requires knowledge of the underlying theoretical model. This book explores aspects of programming that are amenable to mathematical proof. The author describes a programming theory which is much simpler and more comprehensive than the current theories to date. In the theoretical model, a specification is just a boolean expression and refinement is just an ordinary implication. The author develops a practical and broad method for writing precise specifications and designing programs whose executions probably satisfy the specifications.