Thanks to visit codestin.com
Credit goes to raboof.github.io
NL
NL
EN
EN
Edsger W. Dijkstra
Coxeter’s rabbit
From van IJzeren’s correspondence to my aunt & uncle
Philips and I: a few snapshots
Indirect equality enriched (and a proof by Netty)
The GCD and the minimum
On disjoint binary numbers
Another look at a problem from Hugo Steinhaus
Three trip reports rolled into one: 2001.04.16 – 2001.07.06
Zuckerman’s problem and the ETAC
What led to “Notes on Structured Programming”
An unavoidable case analysis
The chessboard covered with dominoes
The chessboard covered with dominoes
Answers to questions from students of Software Engineering
The end of computing science?
My recollections of operating system design
Once more bichrome triangles in complete graphs
The river, the isles and the bridges
The notational conventions I adopted, and why
Under the spell of Leibniz’s Dream
Triggered by a high-school exercise
When a symmetric operator distributes over (up) and (down)
Eliminating cascading carries
Ulrich Berger’s argument rephrased
Dear Tony, dearest Jill, and other people, dear or not
To Cambridge by mistake (13–18 April 1999)
Computing Science: Achievements and Challenges
How “they” try to corrupt “us”
On graphs whose nodes are Black or White
Society’s role in mathematics
On Dijkstra’s Lemma and Kruskal’s Algorithm
The Mathematical Divide
The marked coins and the scale
The ladder theorem
Mathematical Methodology, Spring 1997
Pruning the search tree
Mathematical induction’s fixpoint
Convocation speech, December 8, 1996
The couples, the river, and the little boat
Homework #1 (See EWD996)
The next fifty years
The next fifty years
A first exploration of effective reasoning
Foreword
Elegance and effective reasoning (Fall 1996)
Een scheve schaats
My simplest theorem
The arithmetic and geometric means once more
Nondeterministic construction of an arbitrary witness
Sylvester’s theorem used (see EWD1016)
A somewhat open letter to David Gries
A simple geometrical theorem I did not know
Hm++, a new Professional Standard (From the desk of the chairman of the Board of Mathematics Inc.)
Honors course “Mathematical Methodology”, Spring 1996
“I have a proof that ....”
The equation x: [x]
Courtesy Dr. Birgit Schieder
The marriage agency
Introducing a course on calculi
For the record: painting the squared plane
The non-unique node multiplicity
Why American Computing Science seems incurable
A theorem about “factors” perhaps worth recording
An unfortunate use of symbols
A trip to Harvard Law School, 10–11 April 1995
Complete DAGs
Primes once more (re Kac & Ulam)
The complete (n + 1)-graph in n-dimensional space
Only a matter of style?
A supplement to EWD1140 and EWD1171
Jan van de Snepscheut’s tiling problem
Z.P. Su’s second problem
On arcs and angles
Problem 10406 from The American Mathematical Monthly, Volume 101, Number 8 / October 1994
A problem from Zhendong Patrick Su (including an alternative solution by R.Boute
Don’t mix unary pre- and postfix operators
Heuristics for a very simple Euclidean proof
A sorry parade
In Memoriam Jan L.A. van de Snepscheut
The strengths of the academic enterprise
The argument about the arithmetic mean and the geometric mean, heuristics included
Equilateral triangles and rectangular grids
“From my Life”
There is still a war going on
How promiscuous are the French ?
Introducing a course on program design and presentation
Voorwoord (voor jaarboek studievereniging UT)
A prime is in at most 1 way the sum of 2 squares
A prime is in at most 1 way the sum of 2 squares
Het intellectuele gehalte van informatica
A terrible Thursday
A somewhat open letter to Cathleen Synge Morawetz
It is all distributivity
The arithmetic mean and the geometric mean
Computing the future?
The knight’s tour
The checkers problem told to me by M.O. Rabin
Introducing a course on the design and use of calculi
Bulterman’s theorem on shortest tree
Why “heavy-weight” bits are unavoidable
Who failed?
Covering rectangles with bars of length 3
Monotonic demonstranda and dummy introduction
A somewhat open letter to Ben Kuipers
Why “up to equivalence”
To the members of the budget council (Confidential)
Simplifying a proof in our book
Too much PSST in Texas
For Bill Walker a sequel to EWD1099
So much for scientific visualization
For the record: ETAC and the couples
Triangles in graphs: a sharp bound
The computing habit
Potter’s proof of disjunction’s symmetry
Are “systems people” really necessary?
The undeserved status of the pigeon-hole principle (Mathematical Methodology)
Two ways of determining an expectation value
Proving the theorem of Menelaos
The balance and the coins
From “Discrete Mathematics with Applications” by Susanna S. Epp
How Computing Science created a new mathematical style
On covering a figure with diamonds
Making a fair roulette from a possibly biased coin
Making a fair roulette from a possibly biased coin
For brevity’s sake (Mathematical Methodology)
Fair gambling with a biased coin
On the quality criteria for mathematical writing (Mathematical Methodology)
A very first introductory example (Mathematical Methodology)
Hungry? Have a byte ....
“Predicate Calculus and Program Semantics”, fall 1989
0 Preface (Mathematical Methodology)
In reply to comments
Andrei P. Ershov in Nuenen
Hoe onbelangrijk het is of duikboten kunnen zwemmen
On covering a figure with diamonds
untitled (advice to a young scientist)
On the problem of the calissons
On hygiene, intellectual and otherwise
Monochrome pairs in the three-coloured plane
The next forty years
On the design of a simple proof for Morley’s Theorem
A somewhat open letter to Uri Leron
A tale of two winters
To hell with “meaningful identifiers”!
A few comments on “Computing as a discipline”
Factorizing the factorial
By way of introduction
Seemingly on a problem transmitted by Bengt Jonsson
On the cruelty of really teaching computing science
Trip report E.W.Dijkstra, Zürich, 1520 Oct. 1988
My methodological blunder with grid polygons
Trip report E.W.Dijkstra, Marktoberdorf 1988
A new science, from birth to maturity
Another filler of the YoP Institute
To the members of the Budget Council
A computing scientist’s approach to a once-deep theorem of Sylvester’s
Position paper on “fairness”
“Real mathematicians don’t prove”
Introducing my fall 1987 course on Mathematical Methodology
On a somewhat disappointing correspondence
What computing science is about
Trip report E.W.Dijkstra, Stanford/Palo Alto, 26–29 March l987
Graphs of modest diameter and degrees
Twenty-eight years
Computing Science in the United Kingdom
Courtesy A.J.M. van Gasteren, C.S.Scholten and J.G.Wiltink
The nature of my research and why I do it
Difficult is easy
Why Johnny can’t understand
Proving Gupta’s Theorem
How experimental is computing science?
On the phenomenon of scientific disciplines
On a class of graphs with modest diameter
On a class of graphs with modest diameter
How do we contribute? (30.9.1986)
Address to my students (23.9.1986)
The strange case of The Pigeon-hole Principle
A solution designed by A. Blokhuis
A sequel to EWD977 (18.9.1986)
An address to my students (16.9.1986)
Who is your “target audience”?
On the theorem of Pythagoras
The longer side is opposite to the greater angle
The cosine rule
Trip report E.W.Dijkstra, Marktoberdorf, 29 July – 10 Aug l986
Management and Mathematics
Visuals for BP’s Venture Research Conference
Introducing a course on mathematical methodology
On naming (with A.J.M. van Gasteren)
Address to my students
Science fiction and science reality in computing
Trip report E.W.Dijkstra, Europe, 13.12.1985 – 10.1.1986
A letter to a typewriter manufacturer
On anthropomorphism in science
The streamlining of the mathematical argument
For the record: the Linear Search
The ATAC ( = Austin Tuesday Afternoon Club)
A computer to think about
Trip report E.W.Dijkstra, London, 25–27 June 1985
On a cultural gap
Where is Russell’s “Paradox”?
Trip report E.W.Dijkstra, Ithaca, Newport, 30 May – 13 June 1985
A correction of EWD914–15
Can computing science save the computer industry?
A summary of a year’s impressions
Another misguided effort
On a cultural gap (Draft)
Trip report E.W.Dijkstra, Tulsa, 1–6 March 1985
Trip report E.W.Dijkstra, Westboro-Boston, 14–17 Feb. 1985
Trip report E.W.Dijkstra, Netherlands, Austria, 23–31 Jan. 1985
Trip report E.W.Dijkstra, Nuenen & London, 10 Dec.’84 – 10 Jan.’85
A problem solved by my nephew Sybrand L. Dijkstra
A short sequel to EWD863
The threats to computing science
On the nature of computing science
Trip report E.W.Dijkstra, Marktoberdorf, 30 July – 12 Aug. 1984
Trip report E.W.Dijkstra, USA, 17–26 June 1984
Trip report E.W.Dijkstra, London, 12–14 June 1984
User-friendly Mathematics
Trip report E.W.Dijkstra, Zürich, 22–24 May 1984
Trip report E.W.Dijkstra, USA, 23 April –10 May 1984
Trip report E.W.Dijkstra, Muenchen, 12–14 April 1984
A review of “The Evolution of Programs”
Trip report E.W.Dijkstra, London, 14–17 February 1984
A monotonicity argument (with A.J.M. van Gasteren)
Some useful formulae (with A.J.M. van Gasteren)
De microprocessor als lollie
Trip report E.W.Dijkstra, London and Colchester, 16–20 Jan. 1984
The little essay I could not write
Ter afsluiting van de “Inleiding tot de Kunst van het Programmeren”
Computers and General Education: a position paper
Trip report E.W.Dijkstra, Brasil & USA, 17 Oct.– 6 Nov. 1983
The Distributed Snapshot of K.M.Chandy and L. Lamport
The distributed snapshot of Chandy/Lamport/Misra
A sequence with |x[n]| = x[n–1] + x[n+1] has period 9
Trip report E.W.Dijkstra, USA, 10 June–3 July 1983
Generalizing an old formula
On maximizing a product
Trip report E.W.Dijkstra, Barcelona 5–7 June 1983
The fruits of misunderstanding
Judging “HOS” from a distance
Trip report E.W.Dijkstra, Helsinki, 1–4 March 1983
Trip report E.W.Dijkstra, Australia, 19 Jan.1983 – 12 Feb.1983
“There is no ‘royal road’ to geometry”
Trip report E.W.Dijkstra, Utrecht 30 Sep.–1 Oct. 1982
Trip report E.W.Dijkstra, Copenhagen, 10–16 Sep. 1982
Trip report E.W.Dijkstra, Newcastle-upon Tyne, 6–10 Sep. 1982
An In-Depth Seminar on Proven Tools & Techniques of Structured Methodology for Effective Software Configuration Management
A theorem about infinite sequences of numbers
Why numbering should start at zero
De software crisis, ontstaan en hardnekkigheid
A very simple exercise in SASL
Trip report E.W.Dijkstra, USA, 20 May 1982 – 14 June 1982
Linearization of a two-dimensional search
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.)
A nice theorem on monotonic predicate sequences
A review of a book on PEARL
An alternative ending for AvG16/ EWD809
Fast image construction in computerized axial tomography (CAT) (with A.J.M. van Gasteren)
Canonical string reduction
Trip report E.W.Dijkstra, USA, 1–27 Nov. 1981
Trip report E.W.Dijkstra, Amsterdam, 26–29 Oct. 1981
On equality of propositions
Trip report E.W.Dijkstra, Scotland, Newcastle 31 Aug.–15 Sep. 1981
Distances from the root in skew trees (with C.S.Scholten)
A bagatelle for the left hand
Trip report E.W.Dijkstra, Marktoberdorf, 26/7–10/8/81
Trip report E.W.Dijkstra, Newcastle, 19–25 July 1981
Fibonacci numbers and Leonardo numbers
Smoothsort, an alternative for sorting in situ
The analysis of a two-person game
The psychology of the user
Trip report E.W.Dijkstra, München, 19 May 1981
What we seem to have learned (with A.J.M. van Gasteren)
A (new?) proof of a theorem of Euler’s on partitions
Sets are Unibags
Trip report E.W.Dijkstra, England, 23 April 1981
The administration as social disease
A stupid notation
A somewhat open letter to Nils J.Nilsson
A word of welcome (Draft)
Lambek and Moser revisited
On Kleinrock’s Theorem
Trip report E.W.Dijkstra, California, 1731 January 1981
Trip report E.W.Dijkstra, Han-sur-Lesse, 712 Jan. 1981
A methodological sequel to EWD771
About 2-coloured 6-graphs
D.A.Turner’s reply
Largely on nomenclature
A.J.Martin’s solution of the Hungarian problem
An educational stupidity
A Hungarian problem
Repaying our debts
A proof by Rutger M.Dijkstra and me
We mathematicians are losing the race
Een kanttekening
A somewhat open letter to F.Kroeger
A somewhat open letter to D.A.Turner
An intriguing example
A misguided educational effort
A postscript to EWD755
Very elementary number theory redone
An error in EWD744
On a theorem by Lambek and Moser
Distributed Arbitration (DRAFT, with C.S.Scholten)
Mainly on the omission of parentheses
American programming’s plight
On the productivity of recursive definitions
A somewhat open letter to Wladislaw M.Turski
Comments on MIL–STD–1862, 28 May 1980
Trip report E.W.Dijkstra, Newcastle-upon-Tyne, 15 Sep. 1980
Trip report E.W.Dijkstra, Los Angeles, Austin (Texas), and Portland, 628 August 1980
A short note on symmetric distributed arbitration
A new policy for Mathematics Inc.?
A sequel to EWD740
Partitioning the edges of the complete graphs into trees or cycles (by the Tuesday Afternoon Club)
A short proof of one of Fermat’s theorems
A somewhat open letter to the Editor-in-Chief of Acta Informatica
More mathematical folklore
A notational alternative for quantification
Recording the structure of trees in their leaves
A mild variant of Combinatory Logic
The superfluity of the general semaphore
Naar aanleiding van Experimentele post-propadeuse opleiding voor informatica-ingenieur aan de THE” (Eindhoven februari 1980 SOO/jc/sdb)
The teachability of mathematical thinking (Draft contribution to “Mathematics Tomorrow”)
An experiment in mathematical exposition
On two types of infinite sets of infinite sequences (by the Tuesday Afternoon Club)
On well-shaped mathematical arguments
A problem solved by Netty van Gasteren and me
Trip report E.W.Dijkstra, U.S.A. 12 Jan. 2 Feb. 1980
How Dutch Informatics fell between two chairs
Trip report E.W.Dijkstra, Liege, Nov.Dec.1979
A chutspa
Een gotspe
On W.H.J.Feijen’s solution for the lexicographic minimum of a circular list
A book review for the IBM Systems Journal
The design of a state space with a useful structure (I)
Why correctness must be a mathematical concern
On not duplicating volatile information
Assembly conventions for the EDSAC
An exercise in exposition
A short talk to my students about money
Trip report E.W.Dijkstra, Munich – London, 1629 September 1979
Trip report E.W.Dijkstra, Mission Viejo, Santa Cruz, Austin, 29 July 8 September 1979
On a problem posed by W.H.J.Feijen
Trip report E.W.Dijkstra, Antwerp, 2429 June 1979
Trip report E.W.Dijkstra, Ithaca, Albany, Austin (Texas), 26/5 – 10/6 1979
When messages may crawl, II (A sequel to EWD708)
My hopes of computing science
When messages may crawl
Dear Mr.X of Company Y
Image reconstruction in two-dimensional tomography
Verkavelde berekeningen, hun mogelijkheden en moeilijkheden
A machine for image construction in tomography
A tutorial on the split binary semaphore
In reaction to Ernest Chang’s “Deadlock Detection”
Two theorems on (what I have called) continuously mixed sequences
An examination exercise, designed by W.H.J.Feijen
Een reactie
Trip report E.W.Dijkstra, Oxford University, 1015 Jan. 1979
Some beautiful arguments using mathematical induction
Written in anger
Mathematics in an easy chair
Tripreport E.W.Dijkstra, Detroit, Austin, Philadelphia, 25 Nov. 9 Dec. 1978
About polygons in Detroit
A review of the 1977 Turing Award Lecture by John Backus
On improving the state of the art (A somewhat open letter to dr. Martin Rem)
The pragmatic engineer versus the scientific designer
Tripreport E.W.Dijkstra, Valley Forge, 28 Oct. 2 Nov. 1978
A trifle
Termination detection for diffusing computations (with C.S.Scholten)
Termination detection for diffusing computations (with C.S.Scholten)
The problem of the Swiss football players
Termination detection for diffusing computations (with C.S.Scholten)
To a new member of The Tuesday Afternoon Club
The nature of Computer Science (first draft)
A book review
Tripreport E.W.Dijkstra, Newcastle-London-Lancaster, 413 Sep. 1978
A story that starts with a very good computer
On one of Cayley's theorems
Tripreport E.W.Dijkstra, Marktoberdorf 24 July 6 August 1978
The equivalence of bounded nondeterminacy and continuity
Tripreport E.W.Dijkstra, Zürich, 27 July 1978
On weak and strong termination
More on A.J.Martin's design (A sequel to EWD668)
Program inversion
Sequencing and the discriminated union
A book review
On the correctness of a design by Alain J.Martin
On the foolishness of “natural language programming”
A problem solved in my head
Trip report E.W.Dijkstra, U.K. – Bahamas – U.S.A., 1130 April 1978
The summing-up
On the YELLOW Language submitted to the DoD
On the RED Language submitted to the DoD
On the GREEN Language submitted to the DoD
On the BLUE Language submitted to DoD
On language constraints enforceable by translators (An open letter to Lt.Col. William A.Whitaker)
On leaves and nodes: a simplification of EWD653
An introduction to implementation issues
Essays on the nature and role of mathematical elegance (3): On notation (A sequel to EWD619)
In honour of Fibonacci
Exploiting contiguity in a linear store
A correction on EWD651
A strong P/V-implementation of conditional critical regions
A theorem about odd powers of odd integers
A supplement to EWD591 “The problem of the maximum length of an ascending subsequence”
“Why is software so expensive?” An explanation to the hardware designer
Commentaar op een ontwikkeling binnen de TH's
A not so simple theorem about undirected graphs
Letter to J. Arsac
A class of simple communication patterns (with C.S.Scholten)
A special sorting elephant
On the interplay between mathematics and programming
Finding the correctness proof of a concurrent program
Finding the correctness proof of a concurrent program
The introduction of MAES®
A political pamphlet from the Middle Ages
The Three Golden Rules for Successful Scientific Research
Why naive program transformation systems are unlikely to work
Tripreport E.W.Dijkstra, Newcastle-upon-Tyne, 510 Sept. 1977
Position paper on the impact of microprocessors (IFIP77)
Tripreport E.W.Dijkstra, 29 July 21 August 1977
Re: “Formal derivation of strongly correct parallel programs” by Axel van Lamsweerde and M.Sintzoff
On-the-fly garbage collection: an exercise in cooperation (with L. Lamport, A.J. Martin, C.S.Scholten, E.F.M. Steffens)
On two beautiful solutions designed by Martin Rem
Naar aanleiding van een eigenlijk wat beledigend stukje
A position paper on Software Reliability
WASSERMAN, Antony I. en Peter FREEMAN (Eds.). Software Engineering Education. Needs and Objectives. Proceedings of an Interface Workshop. New York/Heidelberg/Berlin. Springer-Verlag, 1976.
Two starvation-free solutions of a general exclusion problem
Stationary behaviour of some ternary networks
The mathematics behind the Banker's Algorithm
On making solutions more and more fine-grained (In gratitude dedicated to C.A.R.Hoare, D.E.Knuth, and J.F.Traub.)
Achtste toespraak tot mijn studenten, voorjaar 1977
Zevende toespraak tot mijn studenten, voorjaar 1977
Essays on the nature and role of mathematical elegance
On Webster, users, bugs and Aristotle
Zesde toespraak tot mijn studenten, voorjaar 1977
Vijfde toespraak tot mijn studenten, voorjaar 1977
Vierde toespraak tot mijn studenten, voorjaar 1977
A somewhat open letter to EAA or: why I proved the boundedness of the non-determinacy in the way I did
Tripreport E.W.Dijkstra, Australia, 16 February 1977 21 March 1977
Derde toespraak tot mijn studenten, voorjaar 1977
On the fact that the Atlantic Ocean has two sides
Tweede toespraak tot mijn studenten, voorjaar 1977
An elephant inspired by the Dutch National Flag
A correctness proof for communicating processes: a small exercise
Eerste toespraak tot mijn studenten, voorjaar 1977
Tripreport E.W.Dijkstra, Columbus - Pittsburgh - Paoli, 12–22 January 1977
Paying logical conscience-money to the fair demon
Tripreport E.W.Dijkstra, St.Pierre-de-Chartreuse, 1219 Dec.1976
Comments on Arbeitsblatt 3 from o.Prof.Dr.F.L.Bauer (with C.S.Scholten)
Tripreport E.W.Dijkstra, Munich 2426 November 1976
A sequel to EWD592
Achtste toespraak tot mijn studenten, najaar 1976
A bug in my book!
Yet another note about termination
Tripreport E.W.Dijkstra, Copenhagen 10–12 Nov. 1976
On-the-fly garbage collection: an exercise in cooperation (with Leslie Lamport, A.J.Martin, C.S.Scholten, E.F.M.Steffens)
A parable
Zesde toespraak tot mijn studenten, najaar 1976
A small note on the additive composition of variant functions
The problem of the maximum length of an ascending subsequence
A first investigation of the crossflow computer
Vijfde toespraak tot mijn studenten, najaar 1976
Vierde toespraak tot mijn studenten, najaar 1976
Derde toespraak tot mijn studenten, najaar 1976
Tweede toespraak tot mijn studenten, najaar 1976
Tripreport E.W.Dijkstra, Tokyo, 28 Sep.—3 Oct. 1976
Tripreport E.W.Dijkstra, Poland and USSR, 4-25 September 1976
Eerste toespraak tot mijn studenten, najaar 1976
A proof of a theorem communicated to us by S.Ghosh (with C.S.Scholten)
A somewhat open letter to Professor John McCarthy
Waarom de onderafdeling der wiskunde zich met de informatica moet bezighouden
More about the function “fusc” (A sequel to EWD570)
Tripreport E.W.Dijkstra, ECI-conference 9–12 August 1976, Amsterdam
On subgoal induction
To H.D.Mills, Chairman Software Methodology Panel
A letter to Professor Zohar Manna, 26 July 1976
A great improvement
Tripreport E.W.Dijkstra, U.S.A. and U.K., 8 June - 10 July 1976
A simple consideration with far-reaching consequences (DRAFT)
An exercise for Dr.R.M.Burstall
Dertiende en laatste toespraak tot mijn studenten, voorjaar 1976
A programmer’s early memories
Twaalfde toespraak tot mijn studenten, voorjaar 1976
Programming: from craft to scientific discipline
Elfde toespraak tot mijn studenten, voorjaar 1976
Aan de Raad van Advies, in tweede ronde.
A superficial book
Formal techniques and sizeable programs
The effective arrangement of logical systems
A “non trip report” from E.W.Dijkstra
Tiende toespraak tot mijn studenten, voorjaar 1976
Negende toespraak tot mijn studenten, voorjaar 1976
Achtste toespraak tot mijn studenten, voorjaar 1976
Zevende toespraak tot mijn studenten, voorjaar 1976
Zesde toespraak tot mijn studenten, voorjaar 1976
Aan de Raad van Advies
A personal summary of the Gries-Owicki theory
On a gauntlet thrown by David Gries
Vijfde toespraak tot mijn studenten, voorjaar 1976
Vierde toespraak tot mijn studenten, voorjaar 1976
A more formal treatment of a less simple example
Derde toespraak tot mijn studenten, voorjaar 1976
Tweede toespraak tot mijn studenten, voorjaar 1976
Tripreport E.W.Dijkstra, England and USA, 3-26 January 1976
An open letter to Ross Honsberger
Eerste toespraak tot mijn studenten, voorjaar 1976
[Toespraak tot twee afstudeerders]
Dertiende en laatste toespraak, najaar 1975
Two views of programming
Mathematics Inc., a private letter from its chairman
A collection of beautiful proofs
Twaalfde toespraak, najaar 1975
A sequel to EWD535
An answer to Jack Mazola
Elfde toespraak, najaar 1975
HOMO COGITANS
An open letter to L.Bass
Tiende toespraak, najaar 1975
Negende toespraak, najaar 1975
Achtste toespraak, najaar 1975
More on Hauck's warning
On units of consistency
Comments on “Woodenman” HOL Requirements for the DoD
On a warning from E.A.Hauck
Review of “On the Feasibility of Software Certification”
Zevende toespraak, najaar 1975
Zesde toespraak, najaar 1975
Vijfde toespraak, najaar 1975
On-the-fly garbage collection: an exercise in cooperation (with Leslie Lamport, A.J.Martin, C.S.Scholten, E.F.M.Steffens)
Vierde toespraak, najaar 1975
Derde toespraak, najaar 1975
Tweede toespraak, najaar 1975 (English)
On a language proposal for the Department of Defense
Tripreport E.W.Dijkstra Newcastle, 8–12 September 1975
Comments at a symposium
Tripreport E.W.Dijkstra W.G.2.3, Baden, 1–5 September 1975
Eerste toespraak, najaar 1975 (English)
A synthesis emerging?
On a gauntlet thrown by David Gries
Tripreport E.W.Dijkstra: NATO Summer School Marktoberdorf 1975
Erratum and embellishments of EWD503
A post-scriptum to EWD501
On a gauntlet thrown by David Gries
Variations on a theme: an open letter to C.A.R. Hoare
After many a sobering experience
[toespraak tot een student bij uitreiking ir-diploma]
How do we tell truths that might hurt?
A challenge to memory designers?
On-the-fly garbage collection: an exercise in cooperation (with Leslie Lamport, A.J.Martin, C.S.Scholten, and E.F.M.Steffens)
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)
Achtste toespraak tot mijn studenten
Zevende toespraak tot mijn studenten
Trip report E.W.Dijkstra 16th April/7th May, U.S.A. and Canada
[Toespraak tot een afstudeerder]
On-the-fly garbage collection: an exercise in multiprocessing
Zesde toespraak tot mijn studenten
Letter to the Burroughs recipients of the EWD-series
Vijfde toespraak tot mijn studenten
Marketing questionnaire “A Discipline of Programming”
Tripreport E.W.Dijkstra, London, 9–10 March 1975
Vierde toespraak tot mijn studenten
Exercises in making programs robust
Derde toespraak tot mijn studenten
“Craftsman or scientist?”
Commentaar op “Structuurplan Informatica (W.O.)” van de ARSI
On one-sided smoothing of event sequences
Tweede toespraak tot mijn studenten
Concurrent programming: a preliminary investigation
A letter to my old friend Jonathan Jonathan's response (Brian Randell)
Trip report visit ETH Zurich, 3–4 February 1975 by E.W.Dijkstra
On the teaching of programming, i.e. on the teaching of thinking
Guarded commands, non-determinacy and formal derivation of programs
Bij de aanvang van het semester
Letter to the referees of EWD418
Programming methodologies, their objectives and their nature
Trip report E.W.Dijkstra, Meeting IFIP W.G.2.3., Munich, 8–14 December 1974
Monotonic replacement algorithms and their implementation
A new elephant built from mosquitos humming in harmony
Some questions
A time-wise hierarchy imposed upon the use of a two-level store
The pattern matching problem.
On non-determinacy being bounded.
Determinism and recursion versus non-determinism and the transitive closure
[Letter to Dr. H.Bekic, 8 October 1974]
Finding the maximal strong components in a directed graph.
About robustness and the like
Heer, verlos ons van de charlatans!
Correctness concerns and, among other things, why they are resented
Het curriculum informatica aan de THE
Trip report E.W.Dijkstra, Edinburgh and Newcastle, 16 September 1974
On the role of scientific thought
A multidisciplinary approach to mathematics
Inside “Mathematics Inc”
The problem of the most isolated villages.
Associons continued (with W.H.J.Feijen and M.Rem)
Associons: an effort towards accomodating potentially ultra-high concurrency (with W.H.J.Feijen and M.Rem)
[A letter to C.A.R. Hoare, 13 July 1974]
A generalization of the Sheffer Stroke for n-valued logic (by C.S.Scholten)
Array variables. [see EWD417]
Speech at the occasion of an anniversary
Self-stabilizing systems in spite of distributed control
Trip report E.W.Dijkstra, USA and Canada, 5th–25th May 1974
Trip report E.W.Dijkstra, W.G.2.3 Meeting “Boldern” 28th April–3rd May 1974
Tripreport E.W.Dijkstra, Luxembourg, 712 April 1974
Guarded commands, non-determinacy and a calculus for the derivation of programs
On the abolishment of the subscripted variable [see EWD428]
On avoiding the infinite
A beautiful proof of a probably useless theorem (with W.H.J.Feijen)
The formal treatment of some small examples.
A time-wise hierarchy imposed upon the use of a two-level store
Acceptance speech for the AFIPS Harry Goode Memorial Award 1974
A trip to the U.S.A., 5th–25th January 1974
A trip to France: 13th–20th December 1973
The characterization of semantics
An immediate sequel to EWD398: “Sequencing primitives revisited”
Sequencing primitives revisited
Self-stabilizing systems with distributed control
Self-stabilization with three-state machines
Trip report E.W.Dijkstra IFIP Working Group W.G.2.3 “On Programming Methodology”, 21st–26th October 1973, Blanchland, England
On representational abstraction
Self-stabilization with four-state machines
Self-stabilization in spite of distributed control
Trip report I.U.C.C. Colloquium, Canterbury, 18th–21st Sept. 1973
Trip report IBM Seminar “Communication and Computers”, Newcastle, Sept. 1973
The solution to a cyclic relaxation problem
Trip report E.W.Dijkstra Summer School Munich, July 25 to August 4, 1973
Betrouwbaarheid van programma's
On a connection pattern between 2**N elements
Finding the maximum strong components in a directed graph [see EWD453]
A non algebraic example of a constructive correctness proof
The analysis of multiprogrammed systems of unspecified degree of parallellism
Verslag van bezoek aan Washington, maart 1973
Waarom ik niet gewoon hoogleraar wil blijven
A parabel
Weledelgestrenge Heer, Ingenieur Swinkels
Reisverslag E.W.Dijkstra: Open house on semantics, Aarhus, 7–18 jan. 1973
Bezoek van E.W.Dijkstra aan l’Alpe d’Huez, 8–15 december 1972
Programming as a discipline of mathematical nature
Advanced Course on Computer Systems Architecture (Grenoble, December 1972)
Elementen ener afstudeerrichting in de informatica
Verslag bezoek Engeland 30 augustus – 9 september 1972
Ontwikkelingsplan Informatica
Verslag van de reis van E.W.Dijkstra naar Boston, 12–18 augustus 1972
Ter zake van wiskundige modelvorming
Reisverslag betreffende het bezoek aan de USA van 14 tot 30 mei 1972 door E.W.Dijkstra
[Toespraak over de noodzaak van programmeermethodologie]
The humble programmer
Parallelism in multi-record transactions (with C.S.Scholten)
[Book review of: Bauer-Goos, Informatik, Zweiter Teil]
Poging tot plaatsbepaling van de Informatica
A class of allocation strategies inducing bounded delays only
On a methodology of design
Reisverslag van Edsger W.Dijkstra aan Summer School Marktoberdorf, juli 1971
A short introduction to the art of programming
Verslag van reis van E.W.Dijkstra naar Noord Amerika
[Review of] Bauer, Goos: “Informatik, Erster Teil” Heidelberger Taschenbuecher, Band 80 Springer Verlag, 1971
Hierarchical ordering of sequential processes
(over een voorgestelde configuratie van een P1400 en vier P880’s)
Reisverslag bezoek van E.W.Dijkstra aan IFIP W.G.2.3 te Warwick, Engeland
(over een voorgestelde configuratie van een P1400 en vier P880’s)
Over het gewicht van een informatica-opleiding
On the reliability of programs
Design considerations in more detail
Over de bewijsbaartheid van programmacorrectheid
Exit “The Programming Laboratory”
Informatica als wiskundige discipline
Reisverslag van bezoek aan het Seminar on the Teaching of Programming at University Level
Letter to professor C.A.R. Hoare (31 August 1970)
Recensie voor het tijdschrift “Informatie”
Concern for correctness as a guiding principle for program construction
Sans titre (but most definitely a predecessor to EWD316, “A short introduction into the art of programming”)
Verslag van mijn reis naar California
A tree-structured system
Aan de Commissie Wetenschapsbeleid
The programming laboratory project
Organisatie van onderzoek en onderwijs van Fundamentele Programmering
Structure of an extendable operating system
The programming task considered as an intellectual challenge
Verslag van de tweede “Conference on Software Engineering”, georganiseerd door de NATO Science Committee te Rome, 27–31 oktober 1969
Aan de keuzecommissie rekenmachine
Structured programming
Over de toekomst van Computer Science
On understanding programs
Hoe wiskundig programmeren is
Plotting a curve with a printer
Toekomstverwachting Fundamentele Programmering
Verslag bezoek aan MIT
Over de IBM360 (English)
Hoger orde adressering
Computer Science of enkel Software Engineering?
Ontwerp Collegebeschrijving “Inleiding tot de kunst van het programmere
Tentamen Co-operating Sequential Processes (jan. 1969)
Ontwerp voorwoord [afstudeerrichting Fundamentele Programmering]
Mijn laatste verslag van een bijeenkomst van W.G.2.1.
Requirements of programming tools
[Beantwoording ener enquete]
[“Journal for half-baked Ideas”]
Verslag van het bezoek aan de NATO Conference on Software Engineering
On useful structuring
Een educatief dilemma
Bijdrage voor de subcommissie Aanschaffingsbeleid Rekenautomaten
Towards correct programs
The moral of EWD237 – EWD239
On trading storage against computation time
Computation versus program
A preliminary investigation into Computer Assisted Programming
Complexity controlled by hierarchical ordering of function and variability
Contractie en expansie
Pretentie en doelstelling van het THE multiprogrammeringsproject
De Rekenautomaat als Gebruiksvoorwerp
To the EDITOR ALGOL 68
Aan de leden van de Commissie Wetenschapsbeleid
Stepwise program construction
HEEL VERTROUWELIJK
Verslag van het bezoek aan Grenoble en Parijs (6–11 december 1967)
[Raw code for computing De Bruijn-sequences]
A case against the GO TO statement
ACM Symposium in Gatlinburg “Operating System Principles”
A constructive approach to the problem of program correctness
A constructive approach to the problem of program correctness
A sequel to EWD201
A sequel to EWD200
The variable size machine
An effort towards structuring of programmed processes
The structure of the “THE”-multiprogramming system
Het einde van een ambacht
Aan de Commissie Wetenschapsbeleid ter zake van Automatiseringswiskunde aan de THE
Tentamen “Co-operating Sequential Processes”
Over een academische opleiding tot “Computer Scientist”
Ir.Medema, Ir.Hendriks, weledelgestrenge heren!
Aan de leden van de onderafdelingsvergadering
Keuze tussen symcharf en symchart
Eerste verkenning over de dood van programa’s
Sequentiele interpretatie van ponsband
Tentamenopgave “Cooperating Sequential Processes” (april 1966)
Over de sequentiele interpretatie van een ponsband
Context dependent names
Tentamenopgave “Cooperating Sequential Processes”
Documentatie over de communicatieapparatuur aan de EL X8 (vervanging van EWD140)
Proposal for the input and the notation of the system
Globale beschrijving van de drijvende arithmetiek van de EL X8
Documentatie over de communicatie apparatuur aan de EL X8
Appreciatie van ponskaarten
Heel kort verslag bezoek aan het symposium over Multi Access Computers, 2–4 november 1965 in het NPL
An Experiment with the “record class” as suggested by C.A.R.Hoare
Verslag van bezoek aan de Arbeitstagung fuer Automatentheorie te Hanover.
A sequel to EWD126
The multiprogramming system for the EL X8 THE
Cooperating sequential processes
Communicatiebuffering voor de EL-X8 - T.H.E.
Programming considered as a human activity
De bankiersalgorithme en verfijningen daarvan
Segment control
Ruwe schets vertaalproces
Error checking
Een algorithme ter voorkoming van de dodelijke omarming
Description of the object program (a sequel to EWD102)
Description of the object program, II
Description of the object program
Embedding complex arithmetic
Samenvatting van oordeel over het “Voorstel tot aanschaffing van een digitale informatieverwerkende machine voor de afdeling der elektrotechniek”
Over formal locations
Bezettingsadministratie der trommelpagina’s
Over paginaadministratie
Een ponsbandorganisatie voor de X8
Het controlerende communicatieapparaat
Over standaardroutines
Over seinpalen
Over trommelpaginatransporten
Over pagina-administratie
Over stapeladministratie. II
Over stapeladministratie
Some comments on the aims of MIRFAC
Over Jansen
Notitie over de aansluiting en de programmering van de teleprinter
Multiprogrammering en de X8 (Vervolg van EWD54)
Multiprogrammering en de X8 (Vervolg van EWD51)
Multiprogrammering en de X8
Het vectorgeheugen
A review of the IBM 1620 Data Processing System
Over de sequentialiteit van procesbeschrijvingen (English)
Some meditations on Advanced Programming
Substitution processes