A Discipline of Programming

Front Cover
Prentice-Hall, 1976 - Computers - 217 pages
14 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
8
4 stars
6
3 stars
0
2 stars
0
1 star
0

Review: A Discipline of Programming

User Review  - Goodreads

By the time I finished the first chapter I was certain I knew nothing about programming. Read full review

Review: A Discipline of Programming

User Review  - Dennis Glover - Goodreads

By the time I finished the first chapter I was certain I knew nothing about programming. 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