A Discipline of Programming

Front Cover
Prentice-Hall, 1976 - Computers - 217 pages
2 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  - 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

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

O EXECUTIONAL ABSTRACTION l
1
THE ROLE OF PROGRAMMING LANGUAGES
7
ON NONDETERMINACY BEING BOUNDED
9
Copyright

18 other sections not shown

Other editions - View all

Common terms and phrases

References to this book

All Book Search results »

Bibliographic information