Logical Derivation of Computer Programs

Front Cover
Intellect Books, 1999 - Computers - 208 pages
Primarily for use as a textbook for courses on program derivation, this presents a powerful new tool for creating error-free programs, developing a new language-based logic for procedures to derive computer programs from formal specifications. Class-tested by the author, the book has down-to-earth explanations, lots of details, cogent examples, and solved exercises.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

I
1
III
37
V
65
VII
83
IX
127
Copyright

Common terms and phrases

Popular passages

Page 11 - Thus, (p ^> q) is true if and only if either p is false or q is true, or both.
Page 15 - Theorem l.6.2 is elementary logical deduction, ie if p is true and p implies q is true then q is true.

References to this book

Bibliographic information