A discipline of programming / Edsger W. Dijkstra.
Author
Series
Published
- Englewood Cliffs, N.J. : Prentice Hall 1976
Physical description
xvii, 217 p. ; 24 cm.
ISBN
- 013215871X
Notes
- Other format: Also issued online.
Contents
- 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.
Subject
- Computer programming.
- Computer programming.
- PROGRAMMING TECHNIQUES: computer science.
- AY 7NF G.
- Computer programming.
- Algorithms.
- Electronic digital computers Programming.
- Algorithms.
- Electronic digital computers Programming.
- Computer programming.
- Computer algorithms.
- PROGRAMMING
- Computer programming.
- Programming (Computers)
- Programmation (Informatique)
- Programmation informatique.
- Computer programming.
- Computers.
- Programmeren (computers)
- Programmation.
- Ordinateurs Programmation.
- Langages de programmation Sémantique.
- Digital computer systems Programming Algorithms Design
- Computer systems Programming Algorithms Design
- 11030 digital computer systems 21030 programming 20020 31030 algorithms 20030 design
Other names
Related item
- Online version:: Dijkstra, Edsger Wybe. Discipline of programming. Englewood Cliffs, N.J. : Prentice-Hall, ©1976
Genre
- text
Language
- English
Holding libraries
Summary holdings does not include live availability details. Select a library name for the full Holdings display.
| Location of copy | Shelfmark | Online location | Holdings Notes |
|---|---|---|---|
| University of Aberdeen Libraries: Sir Duncan Rice Library: In Store (MCR) | 005.1 Dij | ||
| Aberystwyth University Library: External Store | STORE QA76.6.D5 (N13.169) | ||
| University of Bath Library: Level 4 | 005.1028 DIJ | ||
| University of Birmingham Libraries: Research Reserve [RR], Available on request | QA76.6 | ||
| University of Bristol Libraries: Queen's Building Library | QA76.6 DIJ | 7 day loan: vacation loan | |
| British Library: Lending Collection | 76/40937 | ||
| British Library: Lending Collection | 77/22061 | ||
| British Library: Science, Technology and Industry, St Pancras Reading Rooms | RES (B) PN 34 | ||
| University of Cambridge Libraries: St John's College: Mezzanine | QA 76.6.D5 | ||
| University of Cambridge Libraries: Queens' College: Main Library | AY 7NF G Dij | ||
| University of Cambridge Libraries: Emmanuel College Library: Main Library | 518.642.DIJ | ||
| University of Cambridge Libraries: St Catharine's College: Shakeshaft Library | 519.6.D | ||
| University of Cambridge Libraries: University Library: South Front 4 follow signs to South Staircase, Fourth Floor | 348:8.c.95.686 | ||
| University of Dundee: Store 1 | 005.1 D 575 | ||
| University of Edinburgh Libraries: Murray Library, King's Buildings (STANDARD LOAN) | QA76.6 Dij. | ||
| University of Edinburgh Libraries: Main Library (STANDARD LOAN) - 3rd floor | QA76.6 Dij. | ||
| University of Edinburgh Libraries: Contact the Main Library | I.2.5 Dij. | ||
| University of Essex: Request from store -- Store 2 | QA 76.4.D5 | ||
| University of Exeter Library: Forum Library | 001.642 DIJ | ||
| University of Glasgow Library: University Library Level 5 | Computing D10 1976-D | ||
| University of Hull: BJL 3rd Floor | QA 264 D5 | ||
| Imperial College London Library: Central Library: Level 2 | 001.642 DIJ | ||
| The Institution of Engineering and Technology: Contact the main library | 681.326 | On Shelf | |
| University of Leeds Library: Edward Boyle Library, level 11 | Computer Studies L-2 DIJ | ||
| University of Leicester Library: David Wilson Library, Floor 1 Orange Zone | 005.1 DIJ | ||
| University of Manchester Library: Main Library: Blue Area Floor 1 | 005.3 | ||
| National Library of Scotland: General Reading Room, Edinburgh (stored onsite) | Q3.76.1204 | ||
| National Library of Wales / Llyfrgell Genedlaethol Cymru: Contact the National Library of Wales / Llyfrgell Genedlaethol Cymru | PRINT QA 76.6 D57 | ||
| Newcastle University Libraries: Research Reserve: Historical Computing Collection | 518.4 DIJ | ||
| University of Nottingham Libraries: George Green Library | |||
| Open University Library: First Floor Open Shelves | 005.12 DIJ | ||
| Oxford Brookes University: Wheatley Library, Standard Loan | 005.1 DIJ | ||
| University of Oxford Libraries: St Anne's College Library: Tim Gardam Building | 519.8 DIJ:Dis | ||
| University of Oxford Libraries: St Catherine's College Library | 517 DIJ | ||
| University of Oxford Libraries: Computer Science Library: Books | 95D 00 DIJ (Copy 3) | ||
| University of Oxford Libraries: Computer Science Library: Books | 95D 00 DIJ | ||
| University of Oxford Libraries: Computer Science Library: Books | 95D 00 DIJ (Copy 1) | ||
| University of Oxford Libraries: Computer Science Library: Books | 95D 00 DIJ (Copy 2) | ||
| University of Oxford Libraries: Computer Science Library: Short Loan Books | DIJ 1 S/L | ||
| University of Oxford Libraries: St Hilda's College Library | 520.3 DIJ:DIS | ||
| University of Oxford Libraries: Keble College Library | SA 11.059 | ||
| University of Oxford Libraries: Lincoln College Library | 005.1 Dij | ||
| University of Oxford Libraries: Lady Margaret Hall Library: Downstairs Floor | 519.7 40 | ||
| University of Oxford Libraries: Merton College Library: Old Warden's Lodgings | AMU/DIJ | ||
| University of Oxford Libraries: New College Library | X 8.3 DIJ | ||
| University of Oxford Libraries: Oriel College Library | Q 92.4 | ||
| University of Oxford Libraries: Pembroke College Library | U 2 DIJ | ||
| University of Oxford Libraries: Radcliffe Science Library | Q.08440 (Box B000000200603) | ||
| University of Oxford Libraries: St Edmund Hall Library: Tower | L7 DIJ:Dis | ||
| University of Oxford Libraries: Somerville College Library: Loft | 521.2 DIJ 1 | ||
| University of Oxford Libraries: Wadham College Library | M 40 (D) | ||
| University of Oxford Libraries: Wolfson College Library: Floersheimer | 001.642 DIJ | ||
| University of Oxford Libraries: Worcester College Library: Upper Library | 25 p 37 | ||
| Queen Mary University of London Library: Mile End Library | QA74 DIJ (ONEWEEK) | ONEWEEK | |
| Queen's University Belfast: McClay Floor 3 | QA76.6 | ||
| University of Reading Library: University Library: 2nd Floor | 005.1-DIJ | ||
| Royal Society Library: Royal Society Library | 001.642 | ||
| University of St Andrews Library: Main Library Store | QA76.6D56 | ||
| Science Museum Library: Science Museum Library, Wroughton | 681.322.06 DIJKSTRA | ||
| University of Sheffield Library: Western Bank Library 3B | 005.1 (D) | ||
| University of Southampton Library: Hartley Library | QA 76.54 | ||
| University of Strathclyde Library: Standard Loan | MLD D 005.1 DIJ | ||
| University of Surrey: Main Collection | 518.5 DIJ | ||
| Swansea University Libraries: Bay Library : Main | QA76.6 >DIJ | ||
| Trinity College Dublin Library: External Storage (Place Request) | SHL-9-186 | ||
| Trinity College Dublin Library: Hamilton Library | 510.81 L6994;7 | ||
| Trinity College Dublin Library: Hamilton Library | 510.81 L6994;2 | ||
| UCL Library Services: UCL Science Library | COMPUTER SCIENCE D 10 DIJ | ||
| University of Warwick Library: Main Library | QA76.6.D55 |