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

(1975–76)

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

Revised 23-Jan-2015