A Discipline of Programming

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

User ratings

5 stars
5
4 stars
2
3 stars
0
2 stars
0
1 star
0

Review: A Discipline of Programming

User Review  - Tao - Goodreads

this is one of those books that i intended to read for years, and gave up each time after read through a dozen page or so. this time, i pushed through pattern matching chapter now.beautifully written ... Read full review

Review: A Discipline of Programming

User Review  - Mason Stewart - Goodreads

Dijkstra whipped my ass. Awesome book, very difficult. Putting this on my "Re-Read in Five Years" shelf :D 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

Common terms and phrases

References to this book

All Book Search results »

Bibliographic information