Texts and Monographs in Computer Science: The Science of Programming (Softcover)
Texts and Monographs in Computer Science: The Science of Programming (Softcover)
Regular price
$9.99 USD
Regular price
Sale price
$9.99 USD
Unit price
/
per
Condition
GOOD: The book is in good condition, showing light signs of use and wear. There are a few pages with pencil marks and notes, but these do not obscure the text.Product Details
From the Preface: "The approach does require some mathematical maturity and the will to try something new. A programmer with two years experience, or a junior or senior computer science major in college, can master the material—at least, this is the level I have aimed at. ..."The book contains little or no discussion of checking for errors, of making programs robust, of testing programs and the like. This is not because these aspects are unimportant or because the approach does not allow for them. It is simply that, in order to convey the material as simply as possible, it is necessary to concentrate on the one aspect of developing correct programs. The teacher using this book may want to discuss these other issues as well."
BRIEF CONTENTS
- Part 0. Why Use Logic? Why Prove Programs Correct?
- Part I. Propositions and Predicates
- Chapter 1. Proposition
- Chapter 2. Reasoning using Equivalence Transformations
- Chapter 3. A Natural Deduction System
- Chapter 4. Predicates
- Chapter 5. Notations and Conventions for Arrays
- Chapter 6. Using Assertions to Document Programs
- Part II. The Semantics of a Small Language
- Chapter 7. The Predicate Transformer wp
- Chapter 8. The Commands skip, abort and Composition
- Chapter 9. The Assignment Command
- Chapter 10. The Alternative Command
- Chapter 11. The Iterative Command
- Chapter 12. Procedure Call
- Part III. The Development of Programs
- Chapter 13. Introduction
- Chapter 14. Programming as a Goal-Oriented Activity
- Chapter 15. Developing Loops from Invariants and Bounds
- Chapter 16. Developing Invariants
- Chapter 17. Notes on Bound Functions
- Chapter 18. Using Iteration Instead of Recursion
- Chapter 19. Efficiency Considerations
- Chapter 20. Two Larger Examples of Program Development
- Chapter 21. Inverting Programs
- Chapter 22. Notes on Documentation
- Chapter 23. Historical Notes
- Appendix 1. Backus-Naur Form
- Appendix 2. Sets, Sequences, Integers and Real Numbers
- Appendix 3. Relations and Functions
- Appendix 4. Asymptotic Execution Time Properties
- Answers to Exercises
- References
- Index
Share
PUBLISHER: Springer-Verlag
ISBN-13: 9780387964805
ISBN-10: 0387964800