| EWD number |
Size (KB) |
Title |
|
| 500 |
142 |
After many a sobering experience |
|
| 501 |
285 |
Variations on a theme: an open letter to C.A.R. Hoare |
|
| 502 |
75 |
On a gauntlet thrown by David Gries |
|
| 503 |
126 |
A post-scriptum to EWD501 |
|
| 504 |
49 |
Erratum and embellishments of EWD503 |
|
| 506 |
167 |
Tripreport E.W.Dijkstra: NATO Summer School Marktoberdorf 1975 |
|
| 507 |
66 |
On a gauntlet thrown by David Gries |
|
| 508 |
419 |
A synthesis emerging? |
|
| 509 |
52 |
Eerste toespraak, najaar 1975 (English) |
|
| 511 |
153 |
Tripreport E.W.Dijkstra W.G.2.3, Baden, 1–5 September 1975 |
|
| 512 |
182 |
Comments at a symposium |
|
| 513 |
170 |
Tripreport E.W.Dijkstra Newcastle, 8–12 September 1975 |
|
| 514 |
287 |
On a language proposal for the Department of Defense |
|
| 515 |
57 |
Tweede toespraak, najaar 1975 (English) |
|
| 516 |
51 |
Derde toespraak, najaar 1975 |
|
| 518 |
55 |
Vierde toespraak, najaar 1975 |
|
| 520 |
385 |
On-the-fly garbage collection: an exercise in cooperation (with Leslie Lamport, A.J.Martin, C.S.Scholten, E.F.M.Steffens) |
|
| 521 |
45 |
Vijfde toespraak, najaar 1975 |
|
| 522 |
53 |
Zesde toespraak, najaar 1975 |
|
| 523 |
55 |
Zevende toespraak, najaar 1975 |
|
| 524 |
66 |
Review of “On the Feasibility of Software Certification” |
|
| 525 |
104 |
On a warning from E.A.Hauck |
|
| 526 |
148 |
Comments on “Woodenman” HOL Requirements for the DoD |
|
| 527 |
224 |
On units of consistency |
|
| 528 |
62 |
More on Hauck's warning |
|
| 529 |
51 |
Achtste toespraak, najaar 1975 |
|
| 530 |
43 |
Negende toespraak, najaar 1975 |
|
| 531 |
44 |
Tiende toespraak, najaar 1975 |
|
| 532 |
36 |
An open letter to L.Bass |
|
| 533 |
236 |
HOMO COGITANS |
|
| 534 |
52 |
Elfde toespraak, najaar 1975 |
|
| 535 |
81 |
An answer to Jack Mazola |
|
| 536 |
78 |
A sequel to EWD535 |
|
| 537 |
45 |
Twaalfde toespraak, najaar 1975 |
|
| 538 |
226 |
A collection of beautiful proofs |
|
| 539 |
473 |
Mathematics Inc., a private letter from its chairman |
|
| 540 |
216 |
Two views of programming |
|
| 541 |
49 |
Dertiende en laatste toespraak, najaar 1975 |
|
| 542 |
90 |
[Toespraak tot twee afstudeerders] |
|
| 543 |
54 |
Eerste toespraak tot mijn studenten, voorjaar 1976 |
|
| 544 |
27 |
An open letter to Ross Honsberger |
|
| 547 |
305 |
Tripreport E.W.Dijkstra, England and USA, 3-26 January 1976 |
|
| 548 |
53 |
Tweede toespraak tot mijn studenten, voorjaar 1976 |
|
| 549 |
54 |
Derde toespraak tot mijn studenten, voorjaar 1976 |
|
| 550 |
358 |
A more formal treatment of a less simple example |
|
| 551 |
54 |
Vierde toespraak tot mijn studenten, voorjaar 1976 |
|
| 552 |
51 |
Vijfde toespraak tot mijn studenten, voorjaar 1976 |
|
| 553 |
98 |
On a gauntlet thrown by David Gries |
|
| 554 |
427 |
A personal summary of the Gries-Owicki theory |
|
| 555 |
261 |
Aan de Raad van Advies |
|
| 556 |
52 |
Zesde toespraak tot mijn studenten, voorjaar 1976 |
|
| 557 |
47 |
Zevende toespraak tot mijn studenten, voorjaar 1976 |
|
| 558 |
56 |
Achtste toespraak tot mijn studenten, voorjaar 1976 |
|
| 559 |
53 |
Negende toespraak tot mijn studenten, voorjaar 1976 |
|
| 560 |
52 |
Tiende toespraak tot mijn studenten, voorjaar 1976 |
|
| 561 |
211 |
A “non trip report” from E.W.Dijkstra |
|
| 562 |
438 |
The effective arrangement of logical systems |
|
| 563 |
366 |
Formal techniques and sizeable programs |
|
| 564 |
73 |
A superficial book |
|
| 564a |
45 |
Aan de Raad van Advies, in tweede ronde. |
|
| 565 |
52 |
Elfde toespraak tot mijn studenten, voorjaar 1976 |
|
| 566 |
377 |
Programming: from craft to scientific discipline |
|
| 567 |
85 |
Twaalfde toespraak tot mijn studenten, voorjaar 1976 |
|
| 568 |
470 |
A programmer’s early memories |
|
| 569 |
53 |
Dertiende en laatste toespraak tot mijn studenten, voorjaar 1976 |
|
| 570 |
44 |
An exercise for Dr.R.M.Burstall |
|
| 571 |
113 |
A simple consideration with far-reaching consequences (DRAFT) |
|
| 572 |
349 |
Tripreport E.W.Dijkstra, U.S.A. and U.K., 8 June - 10 July 1976 |
|
| 573 |
86 |
A great improvement |
|
| 574 |
145 |
A letter to Professor Zohar Manna, 26 July 1976 |
|
| 575 |
114 |
To H.D.Mills, Chairman Software Methodology Panel |
|
| 576 |
66 |
On subgoal induction |
|
| 577 |
200 |
Tripreport E.W.Dijkstra, ECI-conference 9–12 August 1976, Amsterdam |
|
| 578 |
94 |
More about the function “fusc” (A sequel to EWD570) |
|
| 580 |
47 |
Waarom de onderafdeling der wiskunde zich met de informatica moet bezighouden |
|
| 581 |
58 |
A somewhat open letter to Professor John McCarthy |
|
| 582 |
55 |
A proof of a theorem communicated to us by S.Ghosh (with C.S.Scholten) |
|
| 583 |
51 |
Eerste toespraak tot mijn studenten, najaar 1976 |
|
| 584 |
335 |
Tripreport E.W.Dijkstra, Poland and USSR, 4-25 September 1976 |
|
| 585 |
224 |
Tripreport E.W.Dijkstra, Tokyo, 28 Sep.—3 Oct. 1976 |
|
| 586 |
51 |
Tweede toespraak tot mijn studenten, najaar 1976 |
|
| 587 |
54 |
Derde toespraak tot mijn studenten, najaar 1976 |
|
| 588 |
51 |
Vierde toespraak tot mijn studenten, najaar 1976 |
|
| 589 |
54 |
Vijfde toespraak tot mijn studenten, najaar 1976 |
|
| 590 |
190 |
A first investigation of the crossflow computer |
|
| 591 |
100 |
The problem of the maximum length of an ascending subsequence |
|
| 592 |
50 |
A small note on the additive composition of variant functions |
|
| 593 |
105 |
Zesde toespraak tot mijn studenten, najaar 1976 |
|
| 594 |
93 |
A parable |
|
| 595 |
492 |
On-the-fly garbage collection: an exercise in cooperation (with Leslie Lamport, A.J.Martin, C.S.Scholten, E.F.M.Steffens) |
|
| 596 |
100 |
“On a problem from Aho, Hopcroft, and Ullman” |
|
| 596a |
86 |
Tripreport E.W.Dijkstra, Copenhagen 10–12 Nov. 1976 |
|
| 597 |
60 |
Yet another note about termination |
|
| 598 |
19 |
A bug in my book! |
|
| 599 |
174 |
Achtste toespraak tot mijn studenten, najaar 1976 |
|