Chapter: On the interplay between mathematics and programming

Click here to donate your five minutes and submit the table of contents of a book.

Search from the table of contents of 2.5 million books

Advanced Search (Beta)

Home > Program Construction: International Summer School > On the interplay between mathematics and programming

Program Construction: International Summer School |

F.L. Bauer; E.W. Dijkstra; S.L. Gerhart; D. Gries; M. Griffiths; J. V. Guttag; J. J. Horning; S. S. Owicki; C. Pair; H. Partsch; P. Pepper; M. Wirsing; H. Wössner; F.L. Bauer; M. Broy

Springer Berlin Heidelberg

Program Construction: International Summer School

On the interplay between mathematics and programming

Chapter Info

Authors

E. W. Dijkstra

ARI Id

1664852754753_3785098

Access

Not Available Free

Pages

35-46

DOI

10.1007/BFb0014653

Chapter URL

https://rd.springer.com/chapter/10.1007/BFb0014653

Chapters

entries per page

Filter:

Showing 0 to 0 of 0 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
No data available in table
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 0 to 0 of 0 entries

Books

entries per page

Filter:

Showing 0 to 0 of 0 entries

Book	Author(s)	Year	Publisher
No data available in table
Book	Author(s)	Year	Publisher

Showing 0 to 0 of 0 entries

Books

Book	Author(s)	Year	Publisher
Book	Author(s)	Year	Publisher

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Article Title	Authors	Journal	Vol Info	Language
No data available in table
Article Title	Authors	Journal	Vol Info	Language

Showing 0 to 0 of 0 entries

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Heading	Article Title	Authors	Journal	Vol Info
No data available in table
Heading	Article Title	Authors	Journal	Vol Info

Showing 0 to 0 of 0 entries

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Title	Author	Supervisor	Degree	Institute
No data available in table
Title	Author	Supervisor	Degree	Institute

Showing 0 to 0 of 0 entries

Table of Contents of Book

entries per page

Filter:

Showing 1 to 20 of 37 entries

Chapters/Headings	Author(s)	Pages	Info
Front Matter		I-VII
A more formal treatment of a less simple example	Edsger W. Dijkstra	1-20
Stationary behaviour of some ternary networks	Edsger W. Dijkstra	21-23
Finding the correctness proof of a concurrent program	Edsger W. Dijkstra	24-34
On the interplay between mathematics and programming	E. W. Dijkstra	35-46
A theorem about odd powers of odd integers	Edsger W. Dijkstra	47-48
In honour of Fibonacci	Edsger W. Dijkstra	49-50
On the foolishness of “natural language programming”	Edsger W. Dijkstra	51-53
Program inversion	Edsger W. Dijkstra	54-57
The Schorr-Waite graph marking algorithm	David Gries	58-69
Eliminating the chaff	David Gries	70-74
Proofs, programs and their development — The axiomatic approach	D. Gries	75-76
Current ideas in programming methodology	David Gries	77-93
Basic axiomatic definitions	David Gries	94-99
The multiple assignment statement	David Gries	100-112
Is sometimes ever better than always?	David Gries	113-124
A case study in language design: Euclid	J. J. Horning	125-132
Proof rules for the programming language Euclid	R. L. London; J. V. Guttag; J. J. Horning; B. W. Lampson; J. G. Mitchell; G. J. Popek	133-163
Verification of Euclid programs	J. J. Horning	164-173
Specifications and proofs for abstract data types in concurrent programs	Susan S. Owicki	174-197
Chapters/Headings	Author(s)	Pages	Info

Showing 1 to 20 of 37 entries

Similar Books

entries per page

Filter:

Showing 0 to 0 of 0 entries

Book	Author(s)	Year	Publisher
No data available in table
Book	Author(s)	Year	Publisher

Showing 0 to 0 of 0 entries

Similar Chapters

entries per page

Filter:

Showing 0 to 0 of 0 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
No data available in table
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 0 to 0 of 0 entries

Similar Thesis

entries per page

Filter:

Showing 0 to 0 of 0 entries

Title	Author	Supervisor	Degree	Institute
No data available in table
Title	Author	Supervisor	Degree	Institute

Showing 0 to 0 of 0 entries

Similar News

entries per page

Filter:

Showing 0 to 0 of 0 entries

Headline	Date	News Paper	Country
No data available in table
Headline	Date	News Paper	Country

Showing 0 to 0 of 0 entries