A Discipline of Programming

Front Cover
Prentice-Hall, 1976 - Computers - 217 pages
3 Reviews
Executional abstraction; The role of programming languages; States and their characterization; The characterization of semantics; The semantic characterization of a programming language; Two theorems; On the design of properly terminating; Euclid's algorithm revisited; The formal treatment of some small examples; The linear search theorem; The problem of the next permutation.

From inside the book

What people are saying - Write a review

LibraryThing Review

User Review  - MarkvanderPol - LibraryThing

One of the grandfathers of computer science. Lucid exploration of fundamental programming constructs that are still the daily tools of legions of programmers worldwide. If only they had the concept grounding from this book (or those like it) myriads of bugs would never be written. Read full review

LibraryThing Review

User Review  - mykl-s - LibraryThing

-helped make me a good programmer -It 's about simplicity and clarity and about designing first, then writing -not an easy read, but well worth it Read full review

Contents

PROGRAMMING LANGUAGE
24
CONSTRUCTS
41
Q THE FORMAL TREATMENT OF SOME SMALL
51
Copyright

9 other sections not shown

Other editions - View all

Common terms and phrases

References to this book

All Book Search results »

Bibliographic information