| EWD number |
Size (KB) |
Title |
|
| 600 |
82 |
A sequel to EWD592 |
|
| 601 |
86 |
Tripreport E.W.Dijkstra, Munich 24–26 November 1976 |
|
| 602 |
25 |
Comments on Arbeitsblatt 3 from o.Prof.Dr.F.L.Bauer (with C.S.Scholten) |
|
| 603 |
229 |
Tripreport E.W.Dijkstra, St.Pierre-de-Chartreuse, 12–19 Dec.1976 |
|
| 604 |
75 |
Paying logical conscience-money to the fair demon |
|
| 605 |
148 |
Tripreport E.W.Dijkstra, Columbus - Pittsburgh - Paoli, 12–22 January 1977 |
|
| 606 |
51 |
Eerste toespraak tot mijn studenten, voorjaar 1977 |
|
| 607 |
158 |
A correctness proof for communicating processes: a small exercise |
|
| 608 |
114 |
An elephant inspired by the Dutch National Flag |
|
| 609 |
56 |
Tweede toespraak tot mijn studenten, voorjaar 1977 |
|
| 611 |
325 |
On the fact that the Atlantic Ocean has two sides |
|
| 612 |
52 |
Derde toespraak tot mijn studenten, voorjaar 1977 |
|
| 613 |
261 |
Tripreport E.W.Dijkstra, Australia, 16 February 1977 – 21 March 1977 |
|
| 614 |
134 |
A somewhat open letter to EAA or: why I proved the boundedness of the non-determinacy in the way I did |
|
| 615 |
53 |
Vierde toespraak tot mijn studenten, voorjaar 1977 |
|
| 616 |
52 |
Vijfde toespraak tot mijn studenten, voorjaar 1977 |
|
| 617 |
55 |
Zesde toespraak tot mijn studenten, voorjaar 1977 |
|
| 618 |
128 |
On Webster, users, bugs and Aristotle |
|
| 619 |
352 |
Essays on the nature and role of mathematical elegance |
|
| 620 |
45 |
Zevende toespraak tot mijn studenten, voorjaar 1977 |
|
| 621 |
48 |
Achtste toespraak tot mijn studenten, voorjaar 1977 |
|
| 622 |
482 |
On making solutions more and more fine-grained (In gratitude dedicated to C.A.R.Hoare, D.E.Knuth, and J.F.Traub.) |
|
| 623 |
144 |
The mathematics behind the Banker's Algorithm |
|
| 624 |
73 |
Stationary behaviour of some ternary networks |
|
| 625 |
99 |
Two starvation-free solutions of a general exclusion problem |
|
| 626 |
50 |
WASSERMAN, Antony I. en Peter FREEMAN (Eds.). Software Engineering Education. Needs and Objectives. Proceedings of an Interface Workshop. New York/Heidelberg/Berlin. Springer-Verlag, 1976. |
|
| 627 |
125 |
A position paper on Software Reliability |
|
| 628 |
32 |
Naar aanleiding van een eigenlijk wat beledigend stukje |
|
| 629 |
183 |
On two beautiful solutions designed by Martin Rem |
|
| 630 |
692 |
On-the-fly garbage collection: an exercise in cooperation (with L. Lamport, A.J. Martin, C.S.Scholten, E.F.M. Steffens) |
|
| 631 |
88 |
Re: “Formal derivation of strongly correct parallel programs” by Axel van Lamsweerde and M.Sintzoff |
|
| 633 |
211 |
Tripreport E.W.Dijkstra, 29 July – 21 August 1977 |
|
| 634 |
112 |
Position paper on the impact of microprocessors (IFIP77) |
|
| 635 |
202 |
Tripreport E.W.Dijkstra, Newcastle-upon-Tyne, 5–10 Sept. 1977 |
|
| 636 |
203 |
Why naive program transformation systems are unlikely to work |
|
| 637 |
77 |
The Three Golden Rules for Successful Scientific Research |
|
| 638 |
115 |
A political pamphlet from the Middle Ages |
|
| 639 |
138 |
The introduction of MAES® |
|
| 640 |
213 |
Finding the correctness proof of a concurrent program |
|
| 640a |
275 |
Finding the correctness proof of a concurrent program |
|
| 641 |
437 |
On the interplay between mathematics and programming |
|
| 642 |
248 |
A special sorting elephant |
|
| 643 |
124 |
A class of simple communication patterns (with C.S.Scholten) |
|
| 644 |
205 |
Letter to J. Arsac |
|
| 645 |
186 |
Tripreport E.W.Dijkstra, USA 19–30 October 1977 |
|
| 646 |
79 |
A not so simple theorem about undirected graphs |
|
| 647 |
138 |
Commentaar op een ontwikkeling binnen de TH's |
|
| 648 |
448 |
“Why is software so expensive?” An explanation to the hardware designer |
|
| 649 |
30 |
A supplement to EWD591 “The problem of the maximum length of an ascending subsequence” |
|
| 650 |
65 |
A theorem about odd powers of odd integers |
|
| 651 |
122 |
A strong P/V-implementation of conditional critical regions |
|
| 652 |
84 |
A correction on EWD651 |
|
| 653 |
415 |
Exploiting contiguity in a linear store |
|
| 654 |
38 |
In honour of Fibonacci |
|
| 655 |
119 |
Essays on the nature and role of mathematical elegance (3): On notation (A sequel to EWD619) |
|
| 656 |
312 |
An introduction to implementation issues |
|
| 657 |
91 |
On leaves and nodes: a simplification of EWD653 |
|
| 658 |
105 |
On language constraints enforceable by translators (An open letter to Lt.Col. William A.Whitaker) |
|
| 659 |
221 |
On the BLUE Language submitted to DoD |
|
| 660 |
200 |
On the GREEN Language submitted to the DoD |
|
| 661 |
183 |
On the RED Language submitted to the DoD |
|
| 662 |
160 |
On the YELLOW Language submitted to the DoD |
|
| 663 |
176 |
The summing-up |
|
| 665 |
268 |
Trip report E.W.Dijkstra, U.K. – Bahamas – U.S.A., 11–30 April 1978 |
|
| 666 |
93 |
A problem solved in my head |
|
| 667 |
87 |
On the foolishness of “natural language programming” |
|
| 668 |
168 |
On the correctness of a design by Alain J.Martin |
|
| 669 |
78 |
A book review |
|
| 670 |
70 |
Sequencing and the discriminated union |
|
| 671 |
100 |
Program inversion |
|
| 672 |
94 |
More on A.J.Martin's design (A sequel to EWD668) |
|
| 673 |
85 |
On weak and strong termination |
|
| 674 |
108 |
Tripreport E.W.Dijkstra, Zürich, 2–7 July 1978 |
|
| 675 |
65 |
The equivalence of bounded nondeterminacy and continuity |
|
| 676 |
180 |
Tripreport E.W.Dijkstra, Marktoberdorf 24 July – 6 August 1978 |
|
| 677 |
70 |
On one of Cayley's theorems |
|
| 678 |
123 |
A story that starts with a very good computer |
|
| 679 |
243 |
Tripreport E.W.Dijkstra, Newcastle-London-Lancaster, 4–13 Sep. 1978 |
|
| 680 |
70 |
A book review |
|
| 682 |
402 |
The nature of Computer Science (first draft) |
|
| 683 |
87 |
To a new member of The Tuesday Afternoon Club |
|
| 684 |
189 |
Termination detection for diffusing computations (with C.S.Scholten) |
|
| 685 |
39 |
The problem of the Swiss football players |
|
| 687 |
157 |
Termination detection for diffusing computations (with C.S.Scholten) |
|
| 687a |
194 |
Termination detection for diffusing computations (with C.S.Scholten) |
|
| 688 |
16 |
A trifle |
|
| 689 |
79 |
Tripreport E.W.Dijkstra, Valley Forge, 28 Oct. – 2 Nov. 1978 |
|
| 690 |
127 |
The pragmatic engineer versus the scientific designer |
|
| 691 |
224 |
On improving the state of the art (A somewhat open letter to dr. Martin Rem) |
|
| 692 |
143 |
A review of the 1977 Turing Award Lecture by John Backus |
|
| 693 |
36 |
About polygons in Detroit |
|
| 694 |
174 |
Tripreport E.W.Dijkstra, Detroit, Austin, Philadelphia, 25 Nov. – 9 Dec. 1978 |
|
| 695 |
44 |
Mathematics in an easy chair |
|
| 696 |
55 |
Written in anger |
|
| 697 |
224 |
Some beautiful arguments using mathematical induction |
|
| 698 |
72 |
Trip report E.W.Dijkstra, Oxford University, 10–15 Jan. 1979 |
|
| 699 |
92 |
Een reactie |
|