04xx
- 401: The characterization of semantics
- 404: A trip to France: 13th–20th December 1973
- 406: A trip to the U.S.A., 5th–25th January 1974
- 407: Acceptance speech for the AFIPS Harry Goode Memorial Award 1974
- 408: A time-wise hierarchy imposed upon the use of a two-level store
- 413: The formal treatment of some small examples.
- 415: A beautiful proof of a probably useless theorem (with W.H.J.Feijen)
- 416: On avoiding the infinite
- 417: On the abolishment of the subscripted variable
- 418: Guarded commands, non-determinacy and a calculus for the derivation of programs
- 420: Tripreport E.W.Dijkstra, Luxembourg, 7–12 April 1974
- 423: Trip report E.W.Dijkstra, W.G.2.3 Meeting “Boldern” 28th April–3rd May 1974
- 425: Trip report E.W.Dijkstra, USA and Canada, 5th–25th May 1974
- 426: Self-stabilizing systems in spite of distributed control
- 427: Speech at the occasion of an anniversary
- 428: Array variables.
- 429: A generalization of the Sheffer Stroke for n-valued logic (by C.S.Scholten)
- 432: [A letter to C.A.R. Hoare, 13 July 1974]
- 435: Associons: an effort towards accomodating potentially ultra-high concurrency (with W.H.J.Feijen and M.Rem)
- 439: Associons continued (with W.H.J.Feijen and M.Rem)
- 440: The problem of the most isolated villages.
- 442: Inside “Mathematics Inc”
- 443: A multidisciplinary approach to mathematics
- 447: On the role of scientific thought
- 448: Trip report E.W.Dijkstra, Edinburgh and Newcastle, 1–6 September 1974
- 449: Het curriculum informatica aan de THE
- 450: Correctness concerns and, among other things, why they are resented
- 451: Heer, verlos ons van de charlatans!
- 452: About robustness and the like
- 453: Finding the maximal strong components in a directed graph.
- 454: [Letter to Dr. H.Bekic, 8 October 1974]
- 456: Determinism and recursion versus non-determinism and the transitive closure
- 458: On non-determinacy being bounded.
- 459: The pattern matching problem.
- 462: A time-wise hierarchy imposed upon the use of a two-level store
- 463: Some questions
- 464: A new elephant built from mosquitos humming in harmony
- 465: Monotonic replacement algorithms and their implementation
- 466: Trip report E.W.Dijkstra, Meeting IFIP W.G.2.3., Munich, 8–14 December 1974
- 469: Programming methodologies, their objectives and their nature
- 470: Letter to the referees of EWD418
- 471: Bij de aanvang van het semester
- 472: Guarded commands, non-determinacy and formal derivation of programs
- 473: On the teaching of programming, i.e. on the teaching of thinking
- 474: Trip report visit ETH Zurich, 3–4 February 1975 by E.W.Dijkstra
- 475: A letter to my old friend Jonathan
- 476: Concurrent programming: a preliminary investigation
- 477: Tweede toespraak tot mijn studenten
- 478: On one-sided smoothing of event sequences
- 479: Commentaar op “Structuurplan Informatica (W.O.)” van de ARSI
- 480: “Craftsman or scientist?”
- 481: Derde toespraak tot mijn studenten
- 482: Exercises in making programs robust
- 483: Vierde toespraak tot mijn studenten
- 484: Tripreport E.W.Dijkstra, London, 9–10 March 1975
- 485: Marketing questionnaire “A Discipline of Programming”
- 486: Vijfde toespraak tot mijn studenten
- 487: Letter to the Burroughs recipients of the EWD-series
- 489: Zesde toespraak tot mijn studenten
- 492: On-the-fly garbage collection: an exercise in multiprocessing
- 493: [Toespraak tot een afstudeerder]
- 494: Trip report E.W.Dijkstra 16th April/7th May, U.S.A. and Canada
- 494a: Zevende toespraak tot mijn studenten
- 495: Achtste toespraak tot mijn studenten
- 496A: 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: On-the-fly garbage collection: an exercise in cooperation (with Leslie Lamport, A.J.Martin, C.S.Scholten, and E.F.M.Steffens)
- 497: A challenge to memory designers?
- 498: How do we tell truths that might hurt?
- 499: [toespraak tot een student bij uitreiking ir-diploma]