A Discipline of ProgrammingExecutional 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. 
What people are saying  Write a review
User ratings
5 stars 
 
4 stars 
 
3 stars 
 
2 stars 
 
1 star 

LibraryThing Review
User Review  mykls  LibraryThinghelped make me a good programmer It 's about simplicity and clarity and about designing first, then writing not an easy read, but well worth it Read full review
Review: A Discipline of Programming
User Review  Tao  Goodreadsthis is one of those books that i intended to read for years, and gave up each time after read through a dozen page or so. this time, i pushed through pattern matching chapter now.beautifully written ... Read full review
Related books
Structured programming OleJohan Dahl,Edsger Wybe Dijkstra,Charles Antony Richard Hoare Snippet view  1972 
Contents
O EXECUTIONAL ABSTRACTION l  1 
THE ROLE OF PROGRAMMING LANGUAGES  7 
ON NONDETERMINACY BEING BOUNDED  9 
Copyright  
18 other sections not shown
Common terms and phrases
References to this book
Logic in Computer Science: Modelling and Reasoning about Systems Michael Huth,Mark Ryan Limited preview  2004 
Model Driven Architecture: Applying MDA to Enterprise Computing David Frankel No preview available  2003 
References from web pages
ewDijkstra Archive: Marketing Questionnaire "A Discipline of ...
Title: A Discipline of Programming. 2. Author: Edsger W.Dijkstra (Ph.D., Amsterdam), Burroughs Research Fellow and Professor Extraordinarius at the ...
www.cs.utexas.edu/ ~EWD/ transcriptions/ EWD04xx/ EWD485.html
Dijkstra E W. A discipline of programming. Englewood Cliffs, NJ ...
This was the first book to treat the pro. gramming. task as a mathematical chal. lenge. It shows how to derive a program ...
www.garfield.library.upenn.edu/ classics1988/ A1988Q116200001.pdf
A discipline of programming by Edsger Wybe Dijkstra  librarything
All about A discipline of programming by Edsger Wybe Dijkstra. librarything is a cataloging and social networking site for booklovers.
www.librarything.com/ work/ 195689
Formalizing Dijkstra
A Discipline of Programming. Mechanizing programming logics ... A Discipline of Programming. This classic monograph by Dijkstra has several ...
www.cl.cam.ac.uk/ ~jrh13/ slides/ arg12feb98/ slides.pdf
A Discipline of Programming, 1st edition
A Discipline of Programming, 1st edition. Purchase this Book · Purchase this Book. Source. Pages: 240. Medium: Paperback. Year of Publication: 1997 ...
portal.acm.org/ citation.cfm?doid=550359
A discipline of programming
A discipline of programming. Authors: Dijkstra, Edsger W. Publication: PrenticeHall Series in Automatic Computation, Englewood Cliffs: PrenticeHall, 1976 ...
adsabs.harvard.edu/ abs/ 1976dipr.book.....D
Edsger Wybe Dijkstra (1930–2002): A Portrait of a Genius
In 1976 he published a seminal book, A Discipline of Programming, .... In the preface of his book A Discipline of Programming he simply stated disarmingly ...
homepages.cwi.nl/ ~apt/ ps/ dijkstra.pdf
jfkbits: My 1976 Dijkstra book arrives, reminds me of 1773 born sailor
Following the recommendation of a commenter to Proofs, Education and Open Problems, I ordered Dijkstra's "A Discipline of Programming" which arrived ...
jfkbits.blogspot.com/ 2007/ 04/ my1976dijkstrabookarrivesreminds.html
ARM0–0 Programming as a mathematical discipline We identify ...
In his book, “A Discipline of Programming”, Edsger Dijkstra presents a formal system. for deriving programs. It is more or less selfcontained in that it ...
www.mathmeth.com/ arm/ arms/ arm0.pdf
Tribute to Edsger W. Dijkstra  Annals of the History of Computing ...
to the book A Discipline of Programming. 9. The second article Hoare discussed, “Self ... ew Dijkstra, A Discipline of Programming, Pren. ticeHall, 1976. ...
ieeexplore.ieee.org/ iel5/ 85/ 26502/ 01179892.pdf?arnumber=1179892