A discipline of programming / Edsger W. Dijkstra.

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.
Related item
Genre
  • text
Language
  • English

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, Floor 4 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 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
Sheffield Hallam University Library: Adsetts Main Collection 005.1 DI (LEVEL 2)
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
University of Sussex Library: Main Library QE 1150 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

Export: