+612 9045 4394
 
CHECKOUT
$7.95 Delivery per order to Australia and New Zealand
100% Australian owned
Over a hundred thousand in-stock titles ready to ship
The Science of Programming : Monographs in Computer Science - David Gries

The Science of Programming

Monographs in Computer Science

Paperback Published: 21st April 1989
ISBN: 9780387964805
Number Of Pages: 388

Share This Book:

Paperback

$125.05
or 4 easy payments of $31.26 with Learn more
Ships in 15 business days

Earn 250 Qantas Points
on this Book

This is the very first book to discuss the theory and principles of computer programming on the basis of the idea that a proof of correctness and a program should be developed hand in hand. It is built around the method first proposed by Dijkstra in his monograph The Discipline of Programming (1976), involving a "calculus for the derivation of programs." Directing his materials to the computer programmer with at least one year of experience, Gries presents explicit principles behind program development, and then leads the reader through example programs using those principles. Propositions and predicate calculus are presented as a took for the programmer, rather than simply an object of study. The reader should come away with a fresh outlook on programming theory and practice, and the assurance to develop correct programs effectively.

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
Table of Contents provided by Publisher. All Rights Reserved.

ISBN: 9780387964805
ISBN-10: 0387964800
Series: Monographs in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 388
Published: 21st April 1989
Publisher: Springer-Verlag New York Inc.
Country of Publication: US
Dimensions (cm): 23.32 x 15.65  x 2.06
Weight (kg): 0.53

Earn 250 Qantas Points
on this Book