A Discipline of Programming

Front Cover
Pearson Education, Limited, 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

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

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

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