Main Title |
A discipline of programming / |
Author |
Dijkstra, Edsger W., ;
Dijkstra, Edsger Wybe.
|
Publisher |
Prentice-Hall, |
Year Published |
1976 |
OCLC Number |
01958445 |
ISBN |
013215871X; 9780132158718 |
Subjects |
Computer programming ;
Programmation informatique ;
Computers ;
Programmeren (computers) ;
Ordinateurs--Programmation ;
Langages de programmation--Sémantique
|
Additional Subjects |
Electronic digital computers--Programming
|
Holdings |
Library |
Call Number |
Additional Info |
Location |
Last Modified |
Checkout Status |
EIAM |
QA76.6.Di |
|
Region 2 Library/New York,NY |
01/01/1988 |
STATUS |
|
Collation |
xvii, 217 pages ; 24 cm |
Contents Notes |
0. 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. The linear search algorithm -- 13. The problem of the next permutation -- 14. The problem of the Dutch national flag -- 15. Updating a sequential file -- 16. Merging problems revisited -- 17. An exercise attributed to R.W. Hamming -- 18. The pattern matching problem -- 19. Writing a number as the sum of two squares -- 20. The problem of the smallest prime factor of a large number -- 21. The problem of the most isolated villages -- 22. The problem of the shortest subspanning tree -- 23. Rem's algorithm for the recording of equivalence classes -- 24. The problem of the convex hull in three dimensions -- 25. Finding the maximal strong components in a directed graph -- 26. On manuals and implementations -- 27. In retrospect. |
Place Published |
Englewood Cliffs, N.J. : |
PUB Date Free Form |
c1976. |
Series Title Untraced |
Prentice-Hall series in automatic computation |
Document Type |
BC |
Cataloging Source |
OCLC/U |
LCCN |
75040478 |
Merged OCLC records |
59141412; 1167117784; 1172087053; 1191402307; 1201885216 |
Origin |
OCLC |
Type |
CAT |