| EWD number |
Size (KB) |
Title |
transcriptions |
| 700 |
60 |
An examination exercise, designed by W.H.J.Feijen |
|
| 701 |
47 |
Two theorems on (what I have called) continuously mixed sequences |
EWD701.html |
| 702 |
277 |
In reaction to Ernest Chang's ``Deadlock Detection'' |
|
| 703 |
189 |
A tutorial on the split binary semaphore |
|
| 704 |
51 |
A machine for image construction in tomography |
|
| 705 |
92 |
Verkavelde berekeningen, hun mogelijkheden en moeilijkheden |
EWD705.html |
| 706 |
244 |
Image reconstruction in two-dimensional tomography |
|
| 707 |
37 |
Dear Mr.X of Company Y |
EWD707.html |
| 708 |
76 |
When messages may crawl |
EWD708.html |
| 709 |
344 |
My hopes of computing science |
EWD709.html |
| 710 |
64 |
When messages may crawl, II (A sequel to EWD708) |
|
| 711 |
151 |
Trip report E.W.Dijkstra, Ithaca, Albany, Austin (Texas), 26/5 - 10/6 1979 |
EWD711.html |
| 712 |
58 |
Trip report E.W.Dijkstra, Antwerp, 24–29 June 1979 |
EWD712.html |
| 713 |
41 |
On a problem posed by W.H.J.Feijen |
|
| 714 |
268 |
Trip report E.W.Dijkstra, Mission Viejo, Santa Cruz, Austin, 29 July – 8 September 1979 |
EWD714.html |
| 715 |
109 |
Trip report E.W.Dijkstra, Munich - London, 16–29 September 1979 |
EWD715.html |
| 716 |
118 |
A short talk to my students about money |
EWD716.html |
| 717 |
75 |
An exercise in exposition |
EWD717.html |
| 718 |
272 |
Assembly conventions for the EDSAC |
|
| 719 |
267 |
On not duplicating volatile information |
|
| 720 |
258 |
Why correctness must be a mathematical concern |
EWD720.html |
| 721 |
199 |
The design of a state space with a useful structure (I) |
|
| 722 |
74 |
A book review for the IBM Systems Journal |
EWD722.html |
| 723 |
98 |
On W.H.J.Feijen's solution for the lexicographic minimum of a circular list |
|
| 724 |
62 |
Een gotspe |
EWD724.html |
| 724E |
78 |
A chutspa |
EWD724E.html |
| 725 |
108 |
Trip report E.W.Dijkstra, Liege, Nov.–Dec.1979 |
EWD725.html |
| 726 |
57 |
How Dutch Informatics fell between two chairs |
EWD726.html |
| 727 |
192 |
Trip report E.W.Dijkstra, U.S.A. 12 Jan. – 2 Feb. 1980 |
EWD727.html |
| 728 |
24 |
A problem solved by Netty van Gasteren and me |
EWD728.html |
| 729 |
143 |
On well-shaped mathematical arguments |
EWD729.html |
| 730 |
63 |
On two types of infinite sets of infinite sequences (by the Tuesday Afternoon Club) |
|
| 731 |
103 |
An experiment in mathematical exposition |
EWD731.html |
| 732 |
247 |
The teachability of mathematical thinking (Draft contribution to ``Mathematics Tomorrow'') |
EWD732.html |
| 733 |
96 |
Naar aanleiding van ``Experimentele post-propadeuse opleiding voor informatica-ingenieur aan de THE'' (Eindhoven februari 1980 SOO/jc/sdb) |
|
| 734 |
104 |
The superfluity of the general semaphore |
|
| 735 |
207 |
A mild variant of Combinatory Logic |
|
| 736 |
92 |
Recording the structure of trees in their leaves |
|
| 737 |
93 |
A notational alternative for quantification |
|
| 738 |
67 |
More mathematical folklore |
|
| 739 |
39 |
A somewhat open letter to the Editor-in-Chief of Acta Informatica |
EWD739.html |
| 740 |
22 |
A short proof of one of Fermat's theorems |
EWD740.html |
| 741 |
20 |
Partitioning the edges of the complete graphs into trees or cycles (by the Tuesday Afternoon Club) |
EWD741.html |
| 742 |
24 |
A sequel to EWD740 |
EWD742.html |
| 743 |
109 |
A new policy for Mathematics Inc.? |
EWD743.html |
| 744 |
207 |
A short note on symmetric distributed arbitration |
|
| 745 |
353 |
Trip report E.W.Dijkstra, Los Angeles, Austin (Texas), and Portland, 6–28 August 1980 |
EWD745.html |
| 746 |
171 |
Trip report E.W.Dijkstra, Newcastle-upon-Tyne, 1–5 Sep. 1980 |
EWD746.html |
| 747 |
237 |
Comments on MIL-STD-1862, 28 May 1980 |
|
| 748 |
134 |
A somewhat open letter to Wladislaw M.Turski |
|
| 749 |
175 |
On the productivity of recursive definitions |
|
| 750 |
97 |
American programming's plight |
EWD750.html |
| 751 |
77 |
Mainly on the omission of parentheses |
EWD751.html |
| 752 |
539 |
Distributed Arbitration (DRAFT, with C.S.Scholten) |
|
| 753 |
56 |
On a theorem by Lambek and Moser |
|
| 754 |
24 |
An error in EWD744 |
EWD754.html |
| 755 |
137 |
Very elementary number theory redone |
|
| 756 |
39 |
A postscript to EWD755 |
|
| 757 |
173 |
A misguided educational effort |
|
| 758 |
58 |
An intriguing example |
|
| 759 |
40 |
A somewhat open letter to D.A.Turner |
EWD759.html |
| 760 |
91 |
A somewhat open letter to F.Kroeger |
|
| 761 |
81 |
Een kanttekening |
EWD761.html |
| 762 |
85 |
We mathematicians are losing the race |
EWD762.html |
| 763 |
29 |
A proof by Rutger M.Dijkstra and me |
EWD763.html |
| 764 |
303 |
Repaying our debts |
EWD764.html |
| 765 |
95 |
A Hungarian problem |
|
| 766 |
41 |
An educational stupidity |
EWD766.html |
| 767 |
27 |
A.J.Martin's solution of the Hungarian problem |
EWD767.html |
| 768 |
132 |
Largely on nomenclature |
|
| 770 |
104 |
D.A.Turner's reply |
|
| 771 |
26 |
About 2-coloured 6-graphs |
EWD771.html |
| 772 |
75 |
A methodological sequel to EWD771 |
EWD772.html |
| 773 |
90 |
Trip report E.W.Dijkstra, Han-sur-Lesse, 7–12 Jan. 1981 |
EWD773.html |
| 774 |
152 |
Trip report E.W.Dijkstra, California, 17–31 January 1981 |
EWD774.html |
| 775 |
65 |
On Kleinrock's Theorem |
|
| 776 |
99 |
Lambek and Moser revisited |
EWD776.html |
| 777 |
71 |
A word of welcome (Draft) |
EWD777.html |
| 778 |
45 |
A somewhat open letter to Nils J.Nilsson |
EWD778.html |
| 779 |
109 |
An assertional proof of a program by G.L.Peterson |
|
| 780 |
73 |
Proving the existence of the Euler line (with A.J.M. van Gasteren) |
|
| 781 |
371 |
About the presentation of programs (with A.J.M. van Gasteren) |
|
| 782 |
89 |
A stupid notation |
EWD782.html |
| 783 |
114 |
The administration as social disease |
EWD783.html |
| 784 |
44 |
My mother's contribution to Honsberger's collection |
|
| 785 |
92 |
Our presentation of K.A.Post's proof of R.Stanley's theorem (with A.J.M. van Gasteren) |
|
| 786 |
93 |
Trip report E.W.Dijkstra, England, 23 April 1981 |
EWD786.html |
| 786a |
54 |
Sets are Unibags |
EWD786a.html |
| 787 |
45 |
A (new?) proof of a theorem of Euler's on partitions |
EWD787.html |
| 788 |
242 |
What we seem to have learned (with A.J.M. van Gasteren) |
|
| 789 |
71 |
A minor improvement of Heapsort |
|
| 789a |
122 |
A minor improvement of Heapsort |
|
| 789b |
140 |
A minor improvement of Heapsort |
|
| 790 |
58 |
Trip report E.W.Dijkstra, München, 19 May 1981 |
EWD790.html |
| 791 |
157 |
The psychology of the user |
EWD791.html |
| 792 |
95 |
Hamming's exercise in SASL |
|
| 793 |
51 |
The analysis of a two-person game |
EWD793.html |
| 794 |
153 |
Heapsort (with A.J.M. van Gasteren and W.H.J.Feijen) |
|
| 795 |
96 |
An alternative to heapsort for sorting in situ |
|
| 796 |
323 |
Smoothsort, an alternative for sorting in situ |
|
| 796a |
330 |
Smoothsort, an alternative for sorting in situ |
EWD796a.html |
| 797 |
159 |
Fibonacci numbers and Leonardo numbers |
EWD797.html |
| 798 |
138 |
Trip report E.W.Dijkstra, Newcastle, 19-25 July 1981 |
EWD798.html |
| 799 |
188 |
Trip report E.W.Dijkstra, Marktoberdorf, 26/7-10/8/81 |
EWD799.html |