Edsger W. Dijkstra Archive

Home

Numerical
EWD Index:
    00xx
    01xx
    02xx
    03xx
    04xx
    05xx
    06xx
    07xx
    08xx
    09xx
    10xx
    11xx
    12xx
    13xx

BibTeX index

MC Reports

Other documents

Transcriptions

Video and Audio

External links

EWD Manuscripts 400-499

(1973–75)

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]

Revised 08-Dec-2014