Skip to content

Science of Programming

ISBN-10: 0387964800

ISBN-13: 9780387964805

Edition: 1981 (Reprint)

Authors: David Gries

List price: $89.99
Shipping box This item qualifies for FREE shipping.
Blue ribbon 30 day, 100% satisfaction guarantee!
what's this?
Rush Rewards U
Members Receive:
Carrot Coin icon
XP icon
You have reached 400 XP and carrot coins. That is the daily max!

Customers also bought

Book details

List price: $89.99
Copyright year: 1981
Publisher: Springer
Publication date: 4/21/1989
Binding: Paperback
Pages: 388
Size: 6.25" wide x 9.25" long x 0.75" 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