wwf
A Discipline of ProgrammingEdsger W. Dijkstra0. Executional abstraction
1. The role of programming languages
2. States and their characterization
3. The characterization of semantics
4. The semantic characterization of a programming language
5. Two theorems
6. On the design of properly terminating constructs
7. Euclid's algorithm revisited
8. The formal treatment of some small examples
9. On nondeterminacy being bounded
10. An essay on the notion: "the scope of variables"
11. Array variables
12....
€2,00