Hide this

Click on a thumbnail to go to Google Books.

A Method of Programming

by Edsger W. Dijkstra

 Members Reviews Popularity Average rating Conversations 21 1 495,208 (4.33) None
 Recently added by CMUQLResearch, kemiisto, marc.frei, particlemania, twaheed, akyos, neilostrove, Licena, reastman, noreenj
(1) #32 (1) c:browsed (1) computing (1) cs (1) Dijkstra (1) edwin (1) Feijen (1) FSA (1) invariants (1) logic (1) manuale (1) non-fiction (1) ohiolink (1) owned (1) PL (1) programming (4) proof (1) to-read (1) wishlist (1)

None.

None

Sign up for LibraryThing to find out whether you'll like this book.

An elegant set of definitions, examples, and exercises for beginning a path of programming by calculation*. As a little beginner, 'A Method of Programming' was a big part of a big first step and more than a path measurable by any length. It was a step, not a path; a method, not a methodology.

Tree of Contents:

Preface

PART 0

• A method programming
• Mechanisms and their state
• Programs and their construction
• The assignment := statement
• Permissible expressions
• Concatenation of statements;
• The if alternative statement fi
• Permissible Boolean expressions
• The do repetitive statement
|[ An intermezzo about inner blocks ]|
od
• The array
• The minimal segment sum
• The maximal monotone subsequence
• The inversion count
• Numbers with factors 2, 3 and 5 only
• Coordinate transformation
• On account of a directed graph
• The shortest path
• The binary search
• The longest upsequence

PART 1

0 General Introduction
0.0 Predicate calculus
0.1 Mathematical induction
0.2 Remaining concepts
0.2.0 General
0.2.1 Other quantified expressions
0.3 Miscellaneous exercices
|[ goto(PART 0 ;-) ]|
1 Functional specifications and proof obligations
2 Programming exercises
3 Solutions to selected exercises

Index

*{p} ;step {q} or {p} ;skip {q} ( )
index.html | Dec 13, 2008 |
no reviews | add a review
For more help see the Common Knowledge help page.
Series (with order)
Canonical title
Original title
Alternative titles
Original publication date
People/Characters
Important places
Important events
Related movies
Awards and honors
Epigraph
Dedication
First words
Quotations
Last words
Disambiguation notice
Publisher's editors
Blurbers
Publisher series
Original language

References to this work on external resources.

Wikipedia in English

None

Book description
Haiku summary

No descriptions found.

No library descriptions found.

 Swap Ebooks Audio 2 wanted — —

Rating

Average: (4.33)
 0.5 1 1.5 2 2.5 3 3.5 4 2 4.5 5 1

Is this you?

Become a LibraryThing Author.

About | Contact | Privacy/Terms | Help/FAQs | Blog | Store | APIs | TinyCat | Legacy Libraries | Early Reviewers | Common Knowledge | 119,363,354 books! | Top bar: Always visible