A Discipline of Programming
Download or Read eBook A Discipline of Programming PDF written by Edsger W. Dijkstra and published by Prentice Hall. This book was released on 1976 with total page 248 pages. Available in PDF, EPUB and Kindle.
| Author | : Edsger W. Dijkstra |
| Publisher | : Prentice Hall |
| Total Pages | : 248 |
| Release | : 1976 |
| ISBN-10 | : UOM:39015004474899 |
| ISBN-13 | : |
| Rating | : 4/5 (99 Downloads) |
Book Synopsis A Discipline of Programming by : Edsger W. Dijkstra
Book excerpt: 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.
