08xx
- 800: A bagatelle for the left hand
- 801: Distances from the root in skew trees (with C.S.Scholten)
- 802: Trip report E.W.Dijkstra, Scotland, Newcastle 31 Aug.–15 Sep. 1981
- 804: On equality of propositions
- 805: Trip report E.W.Dijkstra, Amsterdam, 26–29 Oct. 1981
- 806: Trip report E.W.Dijkstra, USA, 1–27 Nov. 1981
- 808: Canonical string reduction
- 810a: Fast image construction in computerized axial tomography (CAT) (with A.J.M. van Gasteren)
- 811: An alternative ending for AvG16/ EWD809
- 814: A review of a book on PEARL
- 818: A nice theorem on monotonic predicate sequences
- 819: Mathematical induction and computing science
- 821: From predicate transformers to predicates (Dedicated by the Tuesday Afternoon Club to C.A.R. Hoare at the occasion of his being elected Fellow of the Royal Society.)
- 824: Linearization of a two-dimensional search
- 826: Trip report E.W.Dijkstra, USA, 20 May 1982 – 14 June 1982
- 827: A very simple exercise in SASL
- 829: De software crisis, ontstaan en hardnekkigheid
- 831: Why numbering should start at zero
- 832: A theorem about infinite sequences of numbers
- 833: An In-Depth Seminar on Proven Tools & Techniques of Structured Methodology for Effective Software Configuration Management
- 837: Trip report E.W.Dijkstra, Newcastle-upon Tyne, 6–10 Sep. 1982
- 838: Trip report E.W.Dijkstra, Copenhagen, 10–16 Sep. 1982
- 839: Trip report E.W.Dijkstra, Utrecht 30 Sep.–1 Oct. 1982
- 841: “There is no ‘royal road’ to geometry”
- 845: McCarthy’s 91–function: an unfortunate paradigm
- 847: Trip report E.W.Dijkstra, Australia, 19 Jan.1983 – 12 Feb.1983
- 850: Trip report E.W.Dijkstra, Helsinki, 1–4 March 1983
- 852: Judging “HOS” from a distance
- 853a: Ingenieur Ebergen, Weledelgetrenge Heer
- 854: The fruits of misunderstanding
- 855: Trip report E.W.Dijkstra, Barcelona 5–7 June 1983
- 856: On maximizing a product
- 857: Generalizing an old formula
- 858: Trip report E.W.Dijkstra, USA, 10 June–3 July 1983
- 861: Research proposal: Our plans for the years to come (with A.J.M. van Gasteren)
- 862: A sequence with |x[n]| = x[n–1] + x[n+1] has period 9
- 864: The distributed snapshot of Chandy/Lamport/Misra
- 864a: The Distributed Snapshot of K.M.Chandy and L. Lamport
- 865: Trip report E.W.Dijkstra, Brasil & USA, 17 Oct.– 6 Nov. 1983
- 866: An analytical proof of the Butterfly Theorem
- 868: Computers and General Education: a position paper
- 869: Ter afsluiting van de “Inleiding tot de Kunst van het Programmeren”
- 870: My mother’s proof of the Butterfly Theorem (see EWD866)
- 872: The little essay I could not write
- 873: Trip report E.W.Dijkstra, London and Colchester, 16–20 Jan. 1984
- 876: De microprocessor als lollie
- 877: Some useful formulae (with A.J.M. van Gasteren)
- 878: A monotonicity argument (with A.J.M. van Gasteren)
- 879: Trip report E.W.Dijkstra, London, 14–17 February 1984
- 881: A review of “The Evolution of Programs”
- 885: Trip report E.W.Dijkstra, Muenchen, 12–14 April 1984
- 887: Trip report E.W.Dijkstra, USA, 23 April –10 May 1984
- 888: Trip report E.W.Dijkstra, Zürich, 22–24 May 1984
- 889: User-friendly Mathematics
- 892: Trip report E.W.Dijkstra, London, 12–14 June 1984
- 893: Trip report E.W.Dijkstra, USA, 17–26 June 1984
- 895: Trip report E.W.Dijkstra, Marktoberdorf, 30 July – 12 Aug. 1984
- 896: On the nature of computing science
- 898: The threats to computing science