| EWD number |
Size (KB) |
Title |
|
| 401 |
212 |
The characterization of semantics |
|
| 404 |
95 |
A trip to France: 13th–20th December 1973 |
|
| 405 |
173 |
Synchronisatie en sequencing |
|
| 406 |
243 |
A trip to the U.S.A., 5th–25th January 1974 |
|
| 407 |
104 |
Acceptance speech for the AFIPS Harry Goode Memorial Award 1974 |
|
| 408 |
305 |
A time-wise hierarchy imposed upon the use of a two-level store |
|
| 413 |
2200 |
The formal treatment of some small examples. |
|
| 415 |
27 |
A beautiful proof of a probably useless theorem (with W.H.J.Feijen) |
|
| 416 |
149 |
On avoiding the infinite |
|
| 417 |
173 |
On the abolishment of the subscripted variable [see EWD428] |
|
| 418 |
305 |
Guarded commands, non-determinacy and a calculus for the derivation of programs |
|
| 420 |
120 |
Tripreport E.W.Dijkstra, Luxembourg, 7–12 April 1974 |
|
| 423 |
120 |
Trip report E.W.Dijkstra, W.G.2.3 Meeting “Boldern” 28th April–3rd May 1974 |
|
| 425 |
221 |
Trip report E.W.Dijkstra, USA and Canada, 5th–25th May 1974 |
|
| 426 |
139 |
Self-stabilizing systems in spite of distributed control |
|
| 427 |
144 |
Speech at the occasion of an anniversary |
|
| 428 |
1600 |
Array variables. [see EWD417] |
|
| 429 |
33 |
A generalization of the Sheffer Stroke for n-valued logic (by C.S.Scholten) |
|
| 432 |
88 |
[A letter to C.A.R. Hoare, 13 July 1974] |
|
| 435 |
176 |
Associons: an effort towards accomodating potentially ultra-high concurrency (with W.H.J.Feijen and M.Rem) |
|
| 439 |
140 |
Associons continued (with W.H.J.Feijen and M.Rem) |
|
| 440 |
568 |
The problem of the most isolated villages. |
|
| 442 |
57 |
Inside “Mathematics Inc” |
|
| 443 |
138 |
A multidisciplinary approach to mathematics |
|
| 447 |
286 |
On the role of scientific thought |
|
| 448 |
177 |
Trip report E.W.Dijkstra, Edinburgh and Newcastle, 1–6 September 1974 |
|
| 449 |
108 |
Het curriculum informatica aan de THE |
|
| 450 |
309 |
Correctness concerns and, among other things, why they are resented |
|
| 451 |
35 |
Heer, verlos ons van de charlatans! (English) |
|
| 452 |
273 |
About robustness and the like |
|
| 453 |
1200 |
Finding the maximal strong components in a directed graph. |
|
| 454 |
326 |
[Letter to Dr. H.Bekic, 8 October 1974] |
|
| 456 |
203 |
Determinism and recursion versus non-determinism and the transitive closure |
|
| 458 |
636 |
On non-determinacy being bounded. |
|
| 459 |
636 |
The pattern matching problem. |
|
| 462 |
427 |
A time-wise hierarchy imposed upon the use of a two-level store |
|
| 463 |
124 |
Some questions |
|
| 464 |
145 |
A new elephant built from mosquitos humming in harmony |
|
| 465 |
186 |
Monotonic replacement algorithms and their implementation |
|
| 466 |
200 |
Trip report E.W.Dijkstra, Meeting IFIP W.G.2.3., Munich, 8–14 December 1974 |
|
| 469 |
359 |
Programming methodologies, their objectives and their nature |
|
| 470 |
152 |
Letter to the referees of EWD418 |
|
| 471 |
44 |
Bij de aanvang van het semester |
|
| 472 |
347 |
Guarded commands, non-determinacy and formal derivation of programs |
|
| 473 |
299 |
On the teaching of programming, i.e. on the teaching of thinking |
|
| 474 |
133 |
Trip report visit ETH Zurich, 3–4 February 1975 by E.W.Dijkstra |
|
| 475 |
158
1480 |
A letter to my old friend Jonathan
Jonathan's response (Brian Randell) |
|
| 476 |
293 |
Concurrent programming: a preliminary investigation |
|
| 477 |
48 |
Tweede toespraak tot mijn studenten |
|
| 478 |
151 |
On one-sided smoothing of event sequences |
|
| 479 |
91 |
Commentaar op “Structuurplan Informatica (W.O.)” van de ARSI |
|
| 480 |
243 |
“Craftsman or scientist?” |
|
| 481 |
52 |
Derde toespraak tot mijn studenten |
|
| 482 |
278 |
Exercises in making programs robust |
|
| 483 |
51 |
Vierde toespraak tot mijn studenten |
|
| 484 |
86 |
Tripreport E.W.Dijkstra, London, 9–10 March 1975 |
|
| 485 |
51 |
Marketing questionnaire “A Discipline of Programming” |
|
| 486 |
48 |
Vijfde toespraak tot mijn studenten |
|
| 487 |
40 |
Letter to the Burroughs recipients of the EWD-series |
|
| 489 |
46 |
Zesde toespraak tot mijn studenten |
|
| 492 |
140 |
On-the-fly garbage collection: an exercise in multiprocessing |
|
| 493 |
59 |
[Toespraak tot een afstudeerder] |
|
| 494 |
387 |
Trip report E.W.Dijkstra 16th April/7th May, U.S.A. and Canada |
|
| 494a |
49 |
Zevende toespraak tot mijn studenten |
|
| 495 |
58 |
Achtste toespraak tot mijn studenten |
|
| 496A |
219 |
On-the-fly garbage collection: an exercise in cooperation (preliminary version) (with Leslie Lamport, A.J.Martin, C.S.Scholten, and E.F.M.Steffens) |
|
| 496B |
234 |
On-the-fly garbage collection: an exercise in cooperation (with Leslie Lamport, A.J.Martin, C.S.Scholten, and E.F.M.Steffens) |
|
| 497 |
45 |
A challenge to memory designers? |
|
| 498 |
84 |
How do we tell truths that might hurt? |
|
| 499 |
51 |
[toespraak tot een student bij uitreiking ir-diploma] |
|