Pub. Date:
Springer New York
The Science of Programming / Edition 1

The Science of Programming / Edition 1

by David Gries


Current price is , Original price is $89.99. You

Temporarily Out of Stock Online

Please check back later for updated availability.

Product Details

ISBN-13: 9780387964805
Publisher: Springer New York
Publication date: 04/21/1989
Series: Monographs in Computer Science
Edition description: 1st ed. 1981. 5th printing 1989
Pages: 388
Product dimensions: 6.10(w) x 9.25(h) x 0.36(d)

Table of Contents

Part 0. Why Use Logic? Why Prove Programs Correct?; Part 1. 1. Propositions; 2. Reasoning Using Equivalence Transformations; 3. A Natural Deduction System; 4. Predicates; 5. Notations and Conventions for Arrays; 6. Using Assertions to Document Programs; Part2. The Semantics of a Small Language; 7. The Predicate Transformer wp; 8. The Commands Skip, Abort and Composition; 9. The Assignment Command; 10. The Alternative Command; 12. Procedure Call; 11. The Iterative Command; 12. Procedure Call; Part 3. The Development of Programs; 13. Introduction; 14. Programming as a Goal-Oriented Activity; 15. Developing Loops From Invariants and Bounds; 16. Developing Invariants; 17. Notes on Bound Functions; 18. Using Iteration Instead of Recursion; 19. Efficiency Considerations; 20. Two Larger Examples of Program Development; 21. Inverting Programs; 22. Notes on Documentation; 23. Historical Notes; Appendix 1-4; Answers to Exercises; References; Index

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews

The Science Of Programming 0 out of 5 based on 0 ratings. 0 reviews.