QA0076.60000000.D54Must-Read
A Discipline of Programming
✓ Read
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.
001.642
- Category
- Mathematics
- Priority
- Must-Read
- Author works
- 3
- Editions known
- 1
- Dewey (DDC)
- Library of Congress (LCC)
DATE DUE
First published1976
StatusREAD
On the Same Shelf
Books one call-number away from QA0076.60000000.D54 in the LCC stacks.
More by Edsger W. Dijkstra
More in Mathematics
← Back to browse