Edsger W. Dijkstra

According to our database1, Edsger W. Dijkstra
  • published at least 72 papers between 1959 and 2005.

Awards

Turing Prize recipient

Turing Prize 1972, "For fundamental contributions to programming as a high, intellectual challenge; for eloquent insistence and practical demonstration that programs should be composed correctly, not just debugged into correctness; for illuminating perception of problems at the foundations of program design".

ACM Fellow

ACM Fellow 1994, "Edsger Dijkstra was a principal contributor in the late 1950's to the development of the ALGOL, a high level programming language which has become a model of clarity and mathematical rigor. He is one of the principal exponents of the science and art of programming languages in general, and has greatly contributed to our understanding of their structure, representation, and implementation. His fifteen years of publications extend from theoretical articles on graph theory to basic manuals, expository texts, and philosophical contemplations in the field of programming languages.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2005
My recollections of operating system design.
Operating Systems Review, 2005

2002
EWD1300: The Notational Conventions I Adopted, and Why.
Formal Asp. Comput., 2002

2001
Designing a Calculational Proof of Cantor's Theorem.
The American Mathematical Monthly, 2001

Under the spell of Leibniz's dream.
Inf. Process. Lett., 2001

The end of computing science?
Commun. ACM, 2001

2000
On the transitive closure of a wellfounded relation.
Proceedings of the School of Niklaus Wirth, "The Art of Simplicity", 2000

1996
The argument about the arithmetic mean and the geometric mean, heuristics included.
Proceedings of the NATO Advanced Study Institute on Deductive Program Design, 1996

An alternative of the ETAC to EWD1163.
Proceedings of the NATO Advanced Study Institute on Deductive Program Design, 1996

On two equations that have the same extreme solution.
Proceedings of the NATO Advanced Study Institute on Deductive Program Design, 1996

A bagatelle on Euclid's algorithm.
Proceedings of the NATO Advanced Study Institute on Deductive Program Design, 1996

A prime is in at most 1 way the sum of 2 squares.
Proceedings of the NATO Advanced Study Institute on Deductive Program Design, 1996

Bulterman's theorem on shortest trees.
Proceedings of the NATO Advanced Study Institute on Deductive Program Design, 1996

The balance and the coins.
Proceedings of the NATO Advanced Study Institute on Deductive Program Design, 1996

Fibonacci and the greatest common divisor.
Proceedings of the NATO Advanced Study Institute on Deductive Program Design, 1996

1995
Heuristics for a Calculational Proof.
Inf. Process. Lett., 1995

1992
On the Economy of doing Mathematics.
Proceedings of the Mathematics of Program Construction, Second International Conference, Oxford, U.K., June 29, 1992

1990
Making a Fair Roulette From a Possibly Biased Coin.
Inf. Process. Lett., 1990

Predicate Calculus and Program Semantics.
Texts and Monographs in Computer Science, Springer, ISBN: 978-1-4612-3228-5, 1990

1989
The Linear Search Revisited.
Structured Programming, 1989

1988
On Binary Operators and Their Derived Relations.
BIT, 1988

A method of programming.
Addison-Wesley, ISBN: 978-0-201-17536-3, 1988

1987
A Heuristic Explanation of Batcher's Baffler.
Sci. Comput. Program., 1987

1986
A Belated Proof of Self-Stabilization.
Distributed Computing, 1986

A Simple Fixpoint Argument Without the Restriction to Continuity.
Acta Inf., 1986

1985
Methodik des Programmierens.
Internationale Computer-Bibliothek, Addison-Wesley, ISBN: 978-3-925118-18-0, 1985

1983
The fruits of misunderstanding.
Elektronische Rechenanlagen, 1983

Derivation of a Termination Detection Algorithm for Distributed Computations.
Inf. Process. Lett., 1983

The Structure of "THE"-Multiprogramming System (Reprint).
Commun. ACM, 1983

Solutions of a Problem in Concurrent Programming Control (Reprint).
Commun. ACM, 1983

1982
How do we tell truths that might hurt?
SIGPLAN Notices, 1982

Smoothsort, an Alternative for Sorting In Situ.
Sci. Comput. Program., 1982

An Introduction to Three Algorithms for Sorting in Situ.
Inf. Process. Lett., 1982

Selected Writings on Computing: A Personal Perspective.
Texts and Monographs in Computer Science, Springer, ISBN: 978-1-4612-5695-3, 1982

1981
A Word of Welcome.
Sci. Comput. Program., 1981

1980
Termination Detection for Diffusing Computations.
Inf. Process. Lett., 1980

Some Beautiful Arguments Using Mathematical Induction.
Acta Inf., 1980

1979
Software Engineering : As It Should Be.
Proceedings of the 4th International Conference on Software Engineering, 1979

1978
On-the-Fly Garbage Collection: An Exercise in Cooperation.
Commun. ACM, 1978

Program Inversion.
Proceedings of the Program Construction, International Summer School, July 26, 1978

On the Foolishness of "Natural Language Programming".
Proceedings of the Program Construction, International Summer School, July 26, 1978

In Honour of Fibonacci.
Proceedings of the Program Construction, International Summer School, July 26, 1978

A Theorem about Odd Powers of Odd Integers.
Proceedings of the Program Construction, International Summer School, July 26, 1978

On the Interplay between Mathematics and Programming.
Proceedings of the Program Construction, International Summer School, July 26, 1978

Finding the Correctness Proof of a Concurrent Program.
Proceedings of the Program Construction, International Summer School, July 26, 1978

Stationary Behaviour of Some Ternary Networks.
Proceedings of the Program Construction, International Summer School, July 26, 1978

A More Formal Treatment of a Less Simple Example.
Proceedings of the Program Construction, International Summer School, July 26, 1978

Finding the Correctness Proof of a Concurrent Program.
Proceedings of the Mathematical Foundations of Computer Science 1978, 1978

1977
Programming: From Craft to Scientific Discipline.
Proceedings of the International Computing Symposium 1977, 1977

1976
On a Gauntlet Thrown by David Gries.
Acta Inf., 1976

The Effective Arrangement of Logical Systems.
Proceedings of the Mathematical Foundations of Computer Science 1976, 1976

Formal Techniques and Sizeable Programs.
Proceedings of the ECI Conference 1976, 1976

A Discipline of Programming.
Prentice-Hall, 1976

1975
Guarded Commands, Nondeterminacy and Formal Derivation of Programs.
Commun. ACM, 1975

Craftsman or Scientist.
ACM Pacific, 1975

On-the-fly garbage collection: an exercise in cooperation.
Proceedings of the Language Hierarchies and Interfaces, International Summer School, Marktoberdorf, Germany, July 23, 1975

A time-wise hierarchy imposed upon the use of a two-level store.
Proceedings of the Language Hierarchies and Interfaces, International Summer School, Marktoberdorf, Germany, July 23, 1975

Guarded commands, non-determinancy and a calculus for the derivation of programs.
Proceedings of the Language Hierarchies and Interfaces, International Summer School, Marktoberdorf, Germany, July 23, 1975

On the teaching of programming, i. e. on the teaching of thinking.
Proceedings of the Language Hierarchies and Interfaces, International Summer School, Marktoberdorf, Germany, July 23, 1975

1974
Self-stabilizing Systems in Spite of Distributed Control.
Commun. ACM, 1974

1972
Information Streams Sharing a Finite Buffer.
Inf. Process. Lett., 1972

The Humble Programmer.
Commun. ACM, 1972

A class of allocation strategies inducing bounded delays only.
Proceedings of the American Federation of Information Processing Societies: AFIPS Conference Proceedings: 1972 Spring Joint Computer Conference, 1972

1971
Hierarchical Ordering of Sequential Processes.
Acta Inf., 1971

1968
Letters to the editor: The go to statement reconsidered.
Commun. ACM, 1968

Letters to the editor: go to statement considered harmful.
Commun. ACM, 1968

The Structure of "THE"-Multiprogramming System.
Commun. ACM, 1968

1965
Solution of a problem in concurrent programming control.
Commun. ACM, 1965

1964
Some comments on the aims of MIRFAC.
Commun. ACM, 1964

1962
Some Meditations on Advanced Programming.
IFIP Congress, 1962

1961
Letter to the editor: defense of ALGOL 60.
Commun. ACM, 1961

1959
Communication with an Automatic Computer
, 1959

ALGOL Sub-Committee Report - Extensions.
Commun. ACM, 1959


  Loading...