Edsger W. Dijkstra

97 papers A* 2B 3Journal 43Unranked 29
YearRankTypeTitle / Venue / Authors
2022 — ch.
A Note on Two Problems in Connexion with Graphs.
Edsger Wybe Dijkstra
Edsger W. Dijkstra
2022 — ch.
Go To Statement Considered Harmful.
Edsger Wybe Dijkstra
Edsger W. Dijkstra
2022 — ch.
On the Reliability of Programs.
Edsger Wybe Dijkstra
Edsger W. Dijkstra
2022 — ch.
On-the-Fly Garbage Collection: An Exercise in Cooperation.
Edsger Wybe Dijkstra
Edsger W. Dijkstra, Leslie Lamport, Alain J. Martin, Carel S. Scholten, Elisabeth F. M. Steffens
2022 — ch.
Recursive Programming.
Edsger Wybe Dijkstra
Edsger W. Dijkstra
2022 — ch.
Self-stabilizing Systems in Spite of Distributed Control.
Edsger Wybe Dijkstra
Edsger W. Dijkstra
2022 — ch.
Solution of a Problem in Concurrent Programming Control.
Edsger Wybe Dijkstra
Edsger W. Dijkstra
2022 — ch.
Some Meditations on Advanced Programming.
Edsger Wybe Dijkstra
Edsger W. Dijkstra
2022 — ch.
The Humble Programmer.
Edsger Wybe Dijkstra
Edsger W. Dijkstra
2022 — ch.
The Structure of the "THE"-Multiprogramming System.
Edsger Wybe Dijkstra
Edsger W. Dijkstra
2005 J jnl
My recollections of operating system design.
ACM SIGOPS Oper. Syst. Rev.
Edsger W. Dijkstra
2002 — ch.
EWD 1308: What Led to "Notes on Structured Programming".
Software Pioneers
Edsger W. Dijkstra
2002 J jnl
EWD1300: The Notational Conventions I Adopted, and Why.
Formal Aspects Comput.
Edsger W. Dijkstra
2002 — ch.
Go to Statement Considered Harmful (Reprint).
Software Pioneers
Edsger W. Dijkstra
2002 — ch.
Solution of a Problem in Concurrent Programming Control (Reprint).
Software Pioneers
Edsger W. Dijkstra
2001 J jnl
Designing a Calculational Proof of Cantor's Theorem.
Am. Math. Mon.
Edsger W. Dijkstra, Jayadev Misra
2001 J jnl
The end of computing science?
Commun. ACM
Edsger W. Dijkstra
2001 J jnl
Under the spell of Leibniz's dream.
Inf. Process. Lett.
Edsger W. Dijkstra
2000 — conf
On the transitive closure of a wellfounded relation.
The School of Niklaus Wirth
Edsger W. Dijkstra
1996 — conf
A bagatelle on Euclid's algorithm.
NATO ASI DPD
Edsger W. Dijkstra
1996 — conf
A prime is in at most 1 way the sum of 2 squares.
NATO ASI DPD
Edsger W. Dijkstra
1996 — conf
An alternative of the ETAC to EWD1163.
NATO ASI DPD
Edsger W. Dijkstra
1996 — conf
Bulterman's theorem on shortest trees.
NATO ASI DPD
Edsger W. Dijkstra
1996 — conf
Fibonacci and the greatest common divisor.
NATO ASI DPD
Edsger W. Dijkstra
1996 — conf
On two equations that have the same extreme solution.
NATO ASI DPD
Edsger W. Dijkstra
1996 — conf
The argument about the arithmetic mean and the geometric mean, heuristics included.
NATO ASI DPD
Edsger W. Dijkstra
1996 — conf
The balance and the coins.
NATO ASI DPD
Edsger W. Dijkstra
1995 J jnl
Heuristics for a Calculational Proof.
Inf. Process. Lett.
Edsger W. Dijkstra
1992 B conf
On the Economy of doing Mathematics.
MPC
Edsger W. Dijkstra
1992 — conf
The Unification of Three Calculi.
NATO ASI PDC
Edsger W. Dijkstra
1990 J jnl
Making a Fair Roulette From a Possibly Biased Coin.
Inf. Process. Lett.
Edsger W. Dijkstra
1990 — book
Predicate Calculus and Program Semantics.
Edsger W. Dijkstra, Carel S. Scholten
1989 J jnl
The Linear Search Revisited.
Struct. Program.
Edsger W. Dijkstra, W. H. J. Feijen
1988 — book
A method of programming.
Edsger W. Dijkstra, W. H. J. Feijen
1988 J jnl
On Binary Operators and Their Derived Relations.
BIT
Edsger W. Dijkstra
1988 J jnl
Position paper on "fairness".
ACM SIGSOFT Softw. Eng. Notes
Edsger W. Dijkstra
1987 J jnl
A Heuristic Explanation of Batcher's Baffler.
Sci. Comput. Program.
Edsger W. Dijkstra
1986 J jnl
A Belated Proof of Self-Stabilization.
Distributed Comput.
Edsger W. Dijkstra
1986 J jnl
A Simple Fixpoint Argument Without the Restriction to Continuity.
Acta Informatica
Edsger W. Dijkstra, A. J. M. van Gasteren
1985 — book
Methodik des Programmierens.
Edsger W. Dijkstra, Wim H. J. Feijen
1983 J jnl
Derivation of a Termination Detection Algorithm for Distributed Computations.
Inf. Process. Lett.
Edsger W. Dijkstra, W. H. J. Feijen, A. J. M. van Gasteren
1983 J jnl
Solutions of a Problem in Concurrent Programming Control (Reprint).
Commun. ACM
Edsger W. Dijkstra
1983 J jnl
The Structure of "THE"-Multiprogramming System (Reprint).
Commun. ACM
Edsger W. Dijkstra
1983 J jnl
The fruits of misunderstanding.
Elektron. Rechenanlagen
Edsger W. Dijkstra
1982 J jnl
An Introduction to Three Algorithms for Sorting in Situ.
Inf. Process. Lett.
Edsger W. Dijkstra, A. J. M. van Gasteren
1982 J jnl
How do we tell truths that might hurt?
ACM SIGPLAN Notices
Edsger W. Dijkstra
1982 — book
Selected Writings on Computing: A Personal Perspective.
Edsger W. Dijkstra
1982 J jnl
Smoothsort, an Alternative for Sorting In Situ.
Sci. Comput. Program.
Edsger W. Dijkstra
1981 J jnl
A Word of Welcome.
Sci. Comput. Program.
Edsger W. Dijkstra
1981 J jnl
American programming's plight.
ACM SIGSOFT Softw. Eng. Notes
Edsger W. Dijkstra
1980 J jnl
Some Beautiful Arguments Using Mathematical Induction.
Acta Informatica
Edsger W. Dijkstra
1980 J jnl
Termination Detection for Diffusing Computations.
Inf. Process. Lett.
Edsger W. Dijkstra, Carel S. Scholten
1979 A* conf
Software Engineering : As It Should Be.
ICSE
Edsger W. Dijkstra
1978 — conf
A More Formal Treatment of a Less Simple Example.
Program Construction
Edsger W. Dijkstra
1978 — conf
A Theorem about Odd Powers of Odd Integers.
Program Construction
Edsger W. Dijkstra
1978 J jnl
DoD-I: the summing up.
ACM SIGPLAN Notices
Edsger W. Dijkstra
1978 B conf
Finding the Correctness Proof of a Concurrent Program.
MFCS
Edsger W. Dijkstra
1978 — conf
Finding the Correctness Proof of a Concurrent Program.
Program Construction
Edsger W. Dijkstra
1978 — conf
In Honour of Fibonacci.
Program Construction
Edsger W. Dijkstra
1978 J jnl
On a political pamphlet from the middle ages.
ACM SIGSOFT Softw. Eng. Notes
Edsger W. Dijkstra, Richard A. DeMillo, Richard J. Lipton, Alan J. Perlis
1978 — conf
On the Foolishness of "Natural Language Programming".
Program Construction
Edsger W. Dijkstra
1978 — conf
On the Interplay between Mathematics and Programming.
Program Construction
Edsger W. Dijkstra
1978 J jnl
On-the-Fly Garbage Collection: An Exercise in Cooperation.
Commun. ACM
Edsger W. Dijkstra, Leslie Lamport, Alain J. Martin, Carel S. Scholten, Elisabeth F. M. Steffens
1978 — conf
Program Inversion.
Program Construction
Edsger W. Dijkstra
1978 — conf
Stationary Behaviour of Some Ternary Networks.
Program Construction
Edsger W. Dijkstra
1977 J jnl
A position paper on software reliability.
ACM SIGSOFT Softw. Eng. Notes
Edsger W. Dijkstra
1977 — conf
Programming: From Craft to Scientific Discipline.
International Computing Symposium
Edsger W. Dijkstra
1976 — book
A Discipline of Programming.
Edsger W. Dijkstra
1976 — conf
Formal Techniques and Sizeable Programs.
ECI
Edsger W. Dijkstra
1976 J jnl
On a Gauntlet Thrown by David Gries.
Acta Informatica
Edsger W. Dijkstra
1976 B conf
The Effective Arrangement of Logical Systems.
MFCS
Edsger W. Dijkstra
1975 — conf
A time-wise hierarchy imposed upon the use of a two-level store.
Language Hierarchies and Interfaces
Edsger W. Dijkstra
1975 — conf
Correctness concerns and, among other things, why they are resented.
Reliable Software
Edsger W. Dijkstra
1975 — conf
Craftsman or Scientist.
ACM Pacific
Edsger W. Dijkstra
1975 J jnl
Guarded Commands, Nondeterminacy and Formal Derivation of Programs.
Commun. ACM
Edsger W. Dijkstra
1975 — conf
Guarded commands, non-determinacy and a calculus for the derivation of programs.
Reliable Software
Edsger W. Dijkstra
1975 — conf
Guarded commands, non-determinancy and a calculus for the derivation of programs.
Language Hierarchies and Interfaces
Edsger W. Dijkstra
1975 — conf
On the teaching of programming, i. e. on the teaching of thinking.
Language Hierarchies and Interfaces
Edsger W. Dijkstra
1975 — conf
On-the-fly garbage collection: an exercise in cooperation.
Language Hierarchies and Interfaces
Edsger W. Dijkstra, Leslie Lamport, Alain J. Martin, Carel S. Scholten, Elisabeth F. M. Steffens
1974 J jnl
Self-stabilizing Systems in Spite of Distributed Control.
Commun. ACM
Edsger W. Dijkstra
1972 — conf
A class of allocation strategies inducing bounded delays only.
AFIPS Spring Joint Computing Conference
Edsger W. Dijkstra
1972 J jnl
Information Streams Sharing a Finite Buffer.
Inf. Process. Lett.
Edsger W. Dijkstra
1972 — book
Structured programming.
Ole-Johan Dahl, Edsger W. Dijkstra, Charles Antony Richard Hoare
1972 J jnl
The Humble Programmer.
Commun. ACM
Edsger W. Dijkstra
1971 J jnl
Hierarchical Ordering of Sequential Processes.
Acta Informatica
Edsger W. Dijkstra
1968 J jnl
Letters to the editor: The go to statement reconsidered.
Commun. ACM
John R. Rice, Edsger W. Dijkstra
1968 J jnl
Letters to the editor: go to statement considered harmful.
Commun. ACM
Edsger W. Dijkstra
1968 J jnl
The Structure of "THE"-Multiprogramming System.
Commun. ACM
Edsger W. Dijkstra
1967 A* conf
The structure of the "THE"-multiprogramming system.
SOSP
Edsger W. Dijkstra
1965 J jnl
Solution of a problem in concurrent programming control.
Commun. ACM
Edsger W. Dijkstra
1964 J jnl
Some comments on the aims of MIRFAC.
Commun. ACM
Edsger W. Dijkstra
1962 J jnl
Operating Experience with ALGOL 60.
Comput. J.
Edsger W. Dijkstra
1962 — conf
Some Meditations on Advanced Programming.
IFIP Congress
Edsger W. Dijkstra
1961 J jnl
Letter to the editor: defense of ALGOL 60.
Commun. ACM
Edsger W. Dijkstra
1959 J jnl
A note on two problems in connexion with graphs.
Numerische Mathematik
Edsger W. Dijkstra
1959 J jnl
ALGOL Sub-Committee Report - Extensions.
Commun. ACM
Edsger W. Dijkstra, W. Heise, Alan J. Perlis, Klaus Samelson
1959 — —
Communication with an Automatic Computer
Edsger W. Dijkstra