A Discipline of Programming

Front Cover
Pearson Education, Limited, 1976 - Computers - 217 pages
7 Reviews
Executional 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.

From inside the book

What people are saying - Write a review

User ratings

5 stars
5
4 stars
2
3 stars
0
2 stars
0
1 star
0

LibraryThing Review

User Review  - mykl-s - LibraryThing

-helped 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 - Goodreads

this 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

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

All Book Search results »

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/ arg-12feb98/ 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: Prentice-Hall Series in Automatic Computation, Englewood Cliffs: Prentice-Hall, 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/ my-1976-dijkstra-book-arrives-reminds.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 self-contained 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-. tice-Hall, 1976. ...
ieeexplore.ieee.org/ iel5/ 85/ 26502/ 01179892.pdf?arnumber=1179892

Bibliographic information