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 |
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 |
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 |
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) |
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 |
454 |
326 |
[Letter to Dr. H.Bekic, 8 October 1974] |
456 |
203 |
Determinism and recursion versus non-determinism and the transitive closure |
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 |
A letter to my old friend Jonathan |
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] |