Edsger W. Dijkstra Archive

Home

Search

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

EWD number Size (KB) Title transcriptions
401 212 The characterization of semantics
404 95 A trip to France: 13th–20th December 1973 EWD404.html
405 173 Synchronisatie en sequencing
406 243 A trip to the U.S.A., 5th – 25th January 1974 EWD406.html
407 104 Acceptance speech for the AFIPS Harry Goode Memorial Award 1974 EWD407.html
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) EWD415.html
416 149 On avoiding the infinite
417 173 On the abolishment of the subscripted variable [see EWD428] EWD417.html
418 305 Guarded commands, non-determinacy and a calculus for the derivation of programs EWD418.html
420 120 Tripreport E.W.Dijkstra, Luxembourg, 7–12 April 1974 EWD420.html
423 120 Trip report E.W.Dijkstra, W.G.2.3 Meeting ``Boldern'' 28th April - 3rd May 1974 EWD423.html
425 221 Trip report E.W.Dijkstra, USA and Canada, 5th– 25th May 1974 EWD425.html
426 139 Self-stabilizing systems in spite of distributed control
427 144 Speech at the occasion of an anniversary EWD427.html
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] EWD432.html
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. EWD440.html
442 57 Inside ``Mathematics Inc'' EWD442.html
443 138 A multidisciplinary approach to mathematics EWD443.html
447 286 On the role of scientific thought EWD447.html
448 177 Trip report E.W.Dijkstra, Edinburgh and Newcastle, 1–6 September 1974 EWD448.html
449 108 Het curriculum informatica aan de THE EWD449.html
450 309 Correctness concerns and, among other things, why they are resented EWD450.html
451 35 Heer, verlos ons van de charlatans! (English) EWD451.html
452 273 About robustness and the like EWD452.html
453 1200 Finding the maximal strong components in a directed graph.
454 326 [Letter to Dr. H.Bekic, 8 October 1974] EWD454.html
456 203 Determinism and recursion versus non-determinism and the transitive closure EWD456.html
458 636 On non-determinacy being bounded. EWD458.html
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 EWD463.html
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 EWD466.html
469 359 Programming methodologies, their objectives and their nature EWD469.html
470 152 Letter to the referees of EWD418
471 44 Bij de aanvang van het semester EWD471.html
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 EWD473.html
474 133 Trip report visit ETH Zurich, 3--4 February 1975 by E.W.Dijkstra EWD474.html
475 158
1480
A letter to my old friend Jonathan
Jonathan's response (Brian Randell)
EWD475.html
476 293 Concurrent programming: a preliminary investigation
477 48 Tweede toespraak tot mijn studenten EWD477.html
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?'' EWD480.html
481 52 Derde toespraak tot mijn studenten EWD481.html
482 278 Exercises in making programs robust
483 51 Vierde toespraak tot mijn studenten EWD483.html
484 86 Tripreport E.W.Dijkstra, London, 9 - 10 March 1975 EWD484.html
485 51 Marketing questionnaire ``A Discipline of Programming'' EWD485.html
486 48 Vijfde toespraak tot mijn studenten EWD486.html
487 40 Letter to the Burroughs recipients of the EWD-series EWD487.html
489 46 Zesde toespraak tot mijn studenten EWD489.html
492 140 On-the-fly garbage collection: an exercise in multiprocessing EWD492.html
493 59 [Toespraak tot een afstudeerder] EWD493.html
494 387 Trip report E.W.Dijkstra 16th April/7th May, U.S.A. and Canada EWD494.html
494a 49 Zevende toespraak tot mijn studenten EWD494a.html
495 58 Achtste toespraak tot mijn studenten EWD495.html
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? EWD497.html
498 84 How do we tell truths that might hurt? EWD498.html
499 51 [toespraak tot een student bij uitreiking ir-diploma] EWD499.html

Revised 20-Jun-2013