Science of Programming

Name: Science of Programming
Price: 28.93 USD
Availability: InStock
ISBN: 9780387964805

ISBN-10: 0387964800

ISBN-13: 9780387964805

Edition: 1981 (Reprint)

Authors: David Gries

List price: $99.99

30 day, 100% satisfaction guarantee!

Marketplace

4 new & used from $28.93

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

Book details

List price: $99.99
Copyright year: 1981
Publisher: Springer New York
Publication date: 2/1/1987
Binding: Paperback
Pages: 388
Size: 6.10" wide x 9.25" long x 0.30" tall
Weight: 1.188
Language: English




Why Use Logic? Why Prove Programs Correct?






Propositions



Reasoning Using Equivalence Transformations



A Natural Deduction System



Predicates



Notations and Conventions for Arrays



Using Assertions to Document Programs



The Semantics of a Small Language



The Predicate Transformer wp



The Commands Skip, Abort and Composition



The Assignment Command



The Alternative Command



Procedure Call



The Iterative Command



Procedure Call



The Development of Programs



Introduction



Programming as a Goal-Oriented Activity



Developing Loops From Invariants and Bounds



Developing Invariants



Notes on Bound Functions



Using Iteration Instead of Recursion



Efficiency Considerations



Two Larger Examples of Program Development



Inverting Programs



Notes on Documentation



Historical


Notes


Appendix 1-4


Answers to Exercises


References


Index