05xx
- 500: After many a sobering experience
- 501: Variations on a theme: an open letter to C.A.R. Hoare
- 502: On a gauntlet thrown by David Gries
- 503: A post-scriptum to EWD501
- 504: Erratum and embellishments of EWD503
- 506: Tripreport E.W.Dijkstra: NATO Summer School Marktoberdorf 1975
- 507: On a gauntlet thrown by David Gries
- 508: A synthesis emerging?
- 509: Eerste toespraak, najaar 1975
- 511: Tripreport E.W.Dijkstra W.G.2.3, Baden, 1–5 September 1975
- 512: Comments at a symposium
- 513: Tripreport E.W.Dijkstra Newcastle, 8–12 September 1975
- 514: On a language proposal for the Department of Defense
- 515: Tweede toespraak, najaar 1975
- 516: Derde toespraak, najaar 1975
- 518: Vierde toespraak, najaar 1975
- 520: On-the-fly garbage collection: an exercise in cooperation (with Leslie Lamport, A.J.Martin, C.S.Scholten, E.F.M.Steffens)
- 521: Vijfde toespraak, najaar 1975
- 522: Zesde toespraak, najaar 1975
- 523: Zevende toespraak, najaar 1975
- 524: Review of “On the Feasibility of Software Certification”
- 525: On a warning from E.A.Hauck
- 526: Comments on “Woodenman” HOL Requirements for the DoD
- 527: On units of consistency
- 528: More on Hauck's warning
- 529: Achtste toespraak, najaar 1975
- 530: Negende toespraak, najaar 1975
- 531: Tiende toespraak, najaar 1975
- 532: An open letter to L.Bass
- 533: HOMO COGITANS
- 534: Elfde toespraak, najaar 1975
- 535: An answer to Jack Mazola
- 536: A sequel to EWD535
- 537: Twaalfde toespraak, najaar 1975
- 538: A collection of beautiful proofs
- 539: Mathematics Inc., a private letter from its chairman
- 540: Two views of programming
- 541: Dertiende en laatste toespraak, najaar 1975
- 542: [Toespraak tot twee afstudeerders]
- 543: Eerste toespraak tot mijn studenten, voorjaar 1976
- 544: An open letter to Ross Honsberger
- 547: Tripreport E.W.Dijkstra, England and USA, 3-26 January 1976
- 548: Tweede toespraak tot mijn studenten, voorjaar 1976
- 549: Derde toespraak tot mijn studenten, voorjaar 1976
- 550: A more formal treatment of a less simple example
- 551: Vierde toespraak tot mijn studenten, voorjaar 1976
- 552: Vijfde toespraak tot mijn studenten, voorjaar 1976
- 553: On a gauntlet thrown by David Gries
- 554: A personal summary of the Gries-Owicki theory
- 555: Aan de Raad van Advies
- 556: Zesde toespraak tot mijn studenten, voorjaar 1976
- 557: Zevende toespraak tot mijn studenten, voorjaar 1976
- 558: Achtste toespraak tot mijn studenten, voorjaar 1976
- 559: Negende toespraak tot mijn studenten, voorjaar 1976
- 560: Tiende toespraak tot mijn studenten, voorjaar 1976
- 561: A “non trip report” from E.W.Dijkstra
- 562: The effective arrangement of logical systems
- 563: Formal techniques and sizeable programs
- 564: A superficial book
- 564a: Aan de Raad van Advies, in tweede ronde.
- 565: Elfde toespraak tot mijn studenten, voorjaar 1976
- 566: Programming: from craft to scientific discipline
- 567: Twaalfde toespraak tot mijn studenten, voorjaar 1976
- 568: A programmer’s early memories
- 569: Dertiende en laatste toespraak tot mijn studenten, voorjaar 1976
- 570: An exercise for Dr.R.M.Burstall
- 571: A simple consideration with far-reaching consequences (DRAFT)
- 572: Tripreport E.W.Dijkstra, U.S.A. and U.K., 8 June - 10 July 1976
- 573: A great improvement
- 574: A letter to Professor Zohar Manna, 26 July 1976
- 575: To H.D.Mills, Chairman Software Methodology Panel
- 576: On subgoal induction
- 577: Tripreport E.W.Dijkstra, ECI-conference 9–12 August 1976, Amsterdam
- 578: More about the function “fusc” (A sequel to EWD570)
- 580: Waarom de onderafdeling der wiskunde zich met de informatica moet bezighouden
- 581: A somewhat open letter to Professor John McCarthy
- 582: A proof of a theorem communicated to us by S.Ghosh (with C.S.Scholten)
- 583: Eerste toespraak tot mijn studenten, najaar 1976
- 584: Tripreport E.W.Dijkstra, Poland and USSR, 4-25 September 1976
- 585: Tripreport E.W.Dijkstra, Tokyo, 28 Sep.—3 Oct. 1976
- 586: Tweede toespraak tot mijn studenten, najaar 1976
- 587: Derde toespraak tot mijn studenten, najaar 1976
- 588: Vierde toespraak tot mijn studenten, najaar 1976
- 589: Vijfde toespraak tot mijn studenten, najaar 1976
- 590: A first investigation of the crossflow computer
- 591: The problem of the maximum length of an ascending subsequence
- 592: A small note on the additive composition of variant functions
- 593: Zesde toespraak tot mijn studenten, najaar 1976
- 594: A parable
- 595: On-the-fly garbage collection: an exercise in cooperation (with Leslie Lamport, A.J.Martin, C.S.Scholten, E.F.M.Steffens)
- 596a: Tripreport E.W.Dijkstra, Copenhagen 10–12 Nov. 1976
- 597: Yet another note about termination