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 500-599

EWD number Size (KB) Title transcriptions
500 142 After many a sobering experience EWD500.html
501 285 Variations on a theme: an open letter to C.A.R. Hoare EWD501.html
502 75 On a gauntlet thrown by David Gries EWD502.html
503 126 A post-scriptum to EWD501 EWD503.html
504 49 Erratum and embellishments of EWD503 EWD504.html
506 167 Tripreport E.W.Dijkstra: NATO Summer School Marktoberdorf 1975 EWD506.html
507 66 On a gauntlet thrown by David Gries EWD507.html
508 419 A synthesis emerging?
509 52 Eerste toespraak, najaar 1975 EWD509.html
511 153 Tripreport E.W.Dijkstra W.G.2.3, Baden, 1 - 5 September 1975 EWD511.html
512 182 Comments at a symposium EWD512.html
513 170 Tripreport E.W.Dijkstra Newcastle, 8-12 September 1975 EWD513.html
514 287 On a language proposal for the Department of Defense EWD514.html
515 57 Tweede toespraak, najaar 1975 EWD515.html
516 51 Derde toespraak, najaar 1975 EWD516.html
518 55 Vierde toespraak, najaar 1975 EWD518.html
520 385 On-the-fly garbage collection: an exercise in cooperation (with Leslie Lamport, A.J.Martin, C.S.Scholten, E.F.M.Steffens) EWD520.html
521 45 Vijfde toespraak, najaar 1975 EWD521.html
522 53 Zesde toespraak, najaar 1975 EWD522.html
523 55 Zevende toespraak, najaar 1975 EWD523.html
524 66 Review of ``On the Feasibility of Software Certification'' EWD524.html
525 104 On a warning from E.A.Hauck
526 148 Comments on ``Woodenman'' HOL Requirements for the DoD EWD526.html
527 224 On units of consistency EWD527.html
528 62 More on Hauck's warning
529 51 Achtste toespraak, najaar 1975 EWD529.html
530 43 Negende toespraak, najaar 1975 EWD530.html
531 44 Tiende toespraak, najaar 1975 EWD531.html
532 36 An open letter to L.Bass EWD532.html
533 236 HOMO COGITANS EWD533.html
534 52 Elfde toespraak, najaar 1975 EWD534.html
535 81 An answer to Jack Mazola
536 78 A sequel to EWD535
537 45 Twaalfde toespraak, najaar 1975 EWD537.html
538 226 A collection of beautiful proofs
539 473 Mathematics Inc., a private letter from its chairman
540 216 Two views of programming EWD540.html
541 49 Dertiende en laatste toespraak, najaar 1975 EWD541.html
542 90 [Toespraak tot twee afstudeerders] EWD542.html
543 54 Eerste toespraak tot mijn studenten, voorjaar 1976 EWD543.html
544 27 An open letter to Ross Honsberger EWD544.html
547 305 Tripreport E.W.Dijkstra, England and USA, 3-26 January 1976 EWD547.html
548 53 Tweede toespraak tot mijn studenten, voorjaar 1976 EWD548.html
549 54 Derde toespraak tot mijn studenten, voorjaar 1976 EWD549.html
550 358 A more formal treatment of a less simple example EWD550.html
551 54 Vierde toespraak tot mijn studenten, voorjaar 1976 EWD551.html
552 51 Vijfde toespraak tot mijn studenten, voorjaar 1976 EWD552.html
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 EWD555.html
556 52 Zesde toespraak tot mijn studenten, voorjaar 1976 EWD556.html
557 47 Zevende toespraak tot mijn studenten, voorjaar 1976 EWD557.html
558 56 Achtste toespraak tot mijn studenten, voorjaar 1976 EWD558.html
559 53 Negende toespraak tot mijn studenten, voorjaar 1976 EWD559.html
560 52 Tiende toespraak tot mijn studenten, voorjaar 1976 EWD560.html
561 211 A ``non trip report'' from E.W.Dijkstra EWD561.html
562 438 The effective arrangement of logical systems EWD562.html
563 366 Formal techniques and sizeable programs
564 73 A superficial book EWD564.html
564a 45 Aan de Raad van Advies, in tweede ronde. EWD564a.html
565 52 Elfde toespraak tot mijn studenten, voorjaar 1976 EWD565.html
566 377 Programming: from craft to scientific discipline EWD566.html
567 85 Twaalfde toespraak tot mijn studenten, voorjaar 1976 EWD567.html
568 470 A programmer's early memories EWD568.html
569 53 Dertiende en laatste toespraak tot mijn studenten, voorjaar 1976 EWD569.html
570 44 An exercise for Dr.R.M.Burstall EWD570.html
571 113 A simple consideration with far-reaching consequences (DRAFT) EWD571.html
572 349 Tripreport E.W.Dijkstra, U.S.A. and U.K., 8 June - 10 July 1976 EWD572.html
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 EWD575.html
576 66 On subgoal induction
577 200 Tripreport E.W.Dijkstra, ECI-conference 9-12 August 1976, Amsterdam EWD577.html
578 94 More about the function ``fusc'' (A sequel to EWD570) EWD578.html
580 47 Waarom de onderafdeling der wiskunde zich met de informatica moet bezighouden EWD580.html
581 58 A somewhat open letter to Professor John McCarthy EWD581.html
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 EWD583.html
584 335 Tripreport E.W.Dijkstra, Poland and USSR, 4-25 September 1976 EWD584.html
585 224 Tripreport E.W.Dijkstra, Tokyo, 28 Sep.--3 Oct. 1976 EWD585.html
586 51 Tweede toespraak tot mijn studenten, najaar 1976 EWD586.html
587 54 Derde toespraak tot mijn studenten, najaar 1976 EWD587.html
588 51 Vierde toespraak tot mijn studenten, najaar 1976 EWD588.html
589 54 Vijfde toespraak tot mijn studenten, najaar 1976 EWD589.html
590 190 A first investigation of the crossflow computer EWD590.html
591 100 The problem of the maximum length of an ascending subsequence EWD591.html
592 50 A small note on the additive composition of variant functions
593 105 Zesde toespraak tot mijn studenten, najaar 1976 EWD593.html
594 93 A parable EWD594.html
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 EWD596a.html
597 60 Yet another note about termination
598 19 A bug in my book! EWD598.html
599 174 Achtste toespraak tot mijn studenten, najaar 1976 EWD599.html

Revised 16-Aug-2013