The Science of Programming

Describes basic programming principles and their step-by-step applications.Numerous examples are included.

List of contents

0. Why Use Logic? Why Prove Programs Correct?.- I. Propositions and Predicates.- 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.- II. 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.- 11. The Iterative Command.- 12. Procedure Call.- III. 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. 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.

Product details

• Authors: David Gries
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 15.01.2010
• EAN: 9780387964805
• ISBN: 978-0-387-96480-5
• No. of pages: 388
• Dimensions: 139 mm x 23 mm x 231 mm
• Weight: 560 g
• Illustrations: XV, 388 p.
• Series: Monographs in Computer Science; Monographs in Computer Science
• Subject: Natural sciences, medicine, IT, technology > IT, data processing > IT